Use numbers for dealing with files in git