Have I pushed any public commits to github today?