Very confused by GitHub behavior