More GitHub fixes