Besides the official repository, we have per-user backed-up repositories for this reason. People develop on their machines and publish/save on the git server fi

Besides the official repository, we have per-user backed-up repositories for this reason. People develop on their machines and publish/save on the git server finished/unfinished work. You can rebase at will and push --force as much as you want. Rebases on the official repo are not allowed and the per-user repos are public and can be used also for collaboration.