doing anything to make GitHub refresh