Git pull a day before, git push a day later? Have we forgotten to do anything without a persistent internet connection 24/7? Or why we'd use a distributed version control system in the first place.

We also conditioned to make small feature branches. Even my hobby projects force me to go through PR process.

It was an example of a use case familiar to many here. Some people use Github for more than just git.