[solved] Git repository updated on disk but commits are not shown in the web interface

There have been similar issues in the past; check out this one, for instance.