It can be surprising that commits are performed directly on GitHub (no push required) which is different than on normal repositories.