There was an error while loading. Please reload this page.
It would be nice to have some visual reminder when there are changes that can be git pushed.