server.py: Detect the HEAD changes within the same repository