No need for username when we do not merge the pull-request
    
    This fixes a bug triggered when someone not logged in would check a
    pull-request, as then there is no username on flask.g.fas_user and
    thus it would end up with an internal server error