changes the logic of server.py to look for a MIGRATED file in order to determine whether or not a repo has been migrated upstream
MIGRATED
rebased onto 0006be822cf74157abb4efda6323406df1e2e127
Pull-Request has been merged by roshi
changes the logic of server.py to look for a
MIGRATEDfile in order to determine whether or not a repo has been migrated upstream