From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: If you have multiple clones of the gcc repository you can fetch
+ If you have personal branches pushed to the gcc repository you can fetch
updates from your personal space by running
- To create a new personal branch, the following sequence of steps can be
-used: If you've used a different personal prefix to 'me' then use that
- in the sequence described above.git fetch me
-(or whatever personal prefix you've chosen). You can also push an
-already existing branch using git push me me/branch
.
-Beware that if you have more than one personal branch set up locally,
-simply typing git push me
will potentially push all such
-personal branches. Use --dry-run to check that what will be pushed is
-what you intend.
-
- git push me <start-ref>:refs/users/<userid>/heads/<topic>
- git fetch me
- git checkout -b me/<topic> remotes/me/<topic>
-
git fetch users/me
(or whatever personal prefix you've
+chosen). You can also push an already existing branch using git
+push users/me me/branch
. Beware that if you have more than one
+personal branch set up locally, simply typing git push
+users/me
will potentially push all personal branches based on
+that remote. Use --dry-run to check that what will be pushed is what
+you intend. The script contrib/git-add-user-branch.sh
+can be used to create a new personal branch which can be pushed and
+pulled from the users/me remote.
The script also defines a few useful aliases that can be used with the repository:
@@ -523,6 +515,28 @@ This will create the branch both locally and on the server, but will not check the branch out locally. You can do that afterwards withgit checkout
or git worktree
.
+before this script can be used, your personal space access should be
+ set up by running contrib/gcc-git-cusomization.sh
.
The script takes two arguments, the name of the new branch to create + and a ref to create it from. The personal prefix for the new + branch is optional and will be automatically added if omitted. For example, + if your personal prefix is the default (me), then running:
+ ++ ++ contrib/git-add-user-branch.sh topic master +
will set up a branch called topic
on the server and a
+ local branch called me/topic
that tracks it. The banch
+ can then be pushed using:
++ git push users/me me/topic +