I wonder if they end up renaming git branches, because it's not very inclusive to ask certain coworkers what branch they are on