Fix GitHub repo ignore