server.py: Update repo webbench automatically