mattia / pagure

Forked from pagure 2 years ago
Clone

d4081f5 No need for username when we do not merge the pull-request

Authored and Committed by pingou 6 years ago
    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
    
        
file modified
+1 -1