✏️ Editing: git-update-server-info