Xfce user repositories
Contributors now have the ability to create user repositories. This allows all developers with git permissions to create their own repository with the following wildcard:
This is useful when you do not have permission to commit upstream directly or you want to work on some code privately without bothering other developers. Compared to upstream repositories, user repositories have more permissions (for the creator):
- You can create any branch name and delete them
- It is possible to rewind push / loose commits (see the
- You can decide which other users have write access to your repository as well, see below
- No notification emails are sent to the xfce4-commits mailing list
As with developers with up-stream access rights, it is always advised to work on large patches in a user repository first.
Push to a private repository
Most often you will continue from the upstream repository and then push your changes on top of that to your user repo branch. If so, follow the steps below:
# clone the upstream repository git clone git://git.xfce.org/xfce/xfwm4 # add a new remote repository with the name 'private' git remote add private ssh://email@example.com/users/$user/xfwm4 # create a new branch # note we give the local branch name a different name so you can see to which remote it points git checkout -b private-bug-1234 # improve the code and make commits # push you changes # the first time you do this, the server will create the repository if needed git push -u private private-bug-1234
Then, wait for a few minutes for the git repo to be available on https://git.xfce.org interface.
There are a couple of commands for Gitolite needed to maintain your private repository.
Note that you can't use non fast-forward pushes. However in user branches, you can remove, then repush your work.
git push user :branch ; git push user branch
Give other users write access
By default, you are the only user with write access to the repository. To allow others to push changes as well (they can only push forward commits, and have no rights to create and delete), use the following command:
ssh firstname.lastname@example.org perms users/$user/$repo + WRITERS $otheruser
To revoke permissions, the same command as above is used, but with the minus-sign.
ssh email@example.com perms users/$user/$repo - WRITERS $otheruser
For more options, like listing permissions, see the usage help of the
ssh firstname.lastname@example.org perms -h
Deleting your user repositories
If you finished work in your user repository and it has been merged into the mainline, you can delete it from the server. Only the creator of the repo can delete it. Deleting is not done by removing all of the branches through
git push, but rather with ssh commands on the server. For help on this command run the following command in a terminal:
ssh email@example.com D -h
For example, you can delete the xfwm4 repository we created earlier as follows:
# unlock the repository to allow deletion ssh firstname.lastname@example.org D unlock users/$user/xfwm4 # remove the repository from the server ssh email@example.com D rm users/$user/xfwm4