housekeeping for github