Refresh status information after Push

The repository information displayed as label decoration of projects does not update after a push performed via the Push changes to a repository dialog.

This is probably a side-effect of the cache implemented in issue #633 (closed).

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information