describe how to change stuff in the private branch
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
b0f391aac4
commit
8793026fd9
1 changed files with 14 additions and 0 deletions
|
@ -109,6 +109,20 @@ The last command currently throws the error
|
||||||
which seems to be a weiredness of git-submodules I have to figure out how
|
which seems to be a weiredness of git-submodules I have to figure out how
|
||||||
to solve.
|
to solve.
|
||||||
|
|
||||||
|
## Updating the private branch
|
||||||
|
|
||||||
|
Whenever there's a need to change something in the **private** branch
|
||||||
|
(probably seldom, as this happens only when new private submodules are
|
||||||
|
added), it can be done like this:
|
||||||
|
|
||||||
|
% git checkout private
|
||||||
|
% git merge master
|
||||||
|
# *hack* *eat pizza* *hack*
|
||||||
|
% git add fancy-changes
|
||||||
|
% git commit -m "more private stuff"
|
||||||
|
% git push origin private
|
||||||
|
% git checkout master
|
||||||
|
|
||||||
## Further information
|
## Further information
|
||||||
|
|
||||||
The described repos and scripts can be found via
|
The described repos and scripts can be found via
|
||||||
|
|
Loading…
Reference in a new issue