Trying to figure out what github does with checked-in file aliases