fix github file name tidying