diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-28 00:13:07 +0200 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-05-28 00:13:07 +0200 |
| commit | fdc48b8a0103a28fdf751956a8ef0c41b306f8a6 (patch) | |
| tree | 4c88dbd6a8979bfe1335971ccf601630d8886cc5 /rules | |
| parent | f2254d55ed1f01093607bd9483a3e345a3d3a276 (diff) | |
rules/source_repositories: Add a concrete example.
Text from a 2009-05-15 email by me.
Message-ID: <20090515193350.GQ23964@fencepost.gnu.org>
Diffstat (limited to 'rules')
| -rw-r--r-- | rules/source_repositories.mdwn | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/rules/source_repositories.mdwn b/rules/source_repositories.mdwn index 2c2092f8..6240b422 100644 --- a/rules/source_repositories.mdwn +++ b/rules/source_repositories.mdwn @@ -51,6 +51,20 @@ Examples: * `master-viengoos-on-bare-metal` -- port to Viengoos running on bare metal; branched off of `master-viengoos` at some point + * unionfs + + * `master` -- the mainline branch + * `master-unionmount` -- develop `unionmount` based on `unionfs`' master + branch + +To give a concrete example, the latter one was created like this: + + $ git clone --no-checkout ssh://git.savannah.gnu.org/srv/git/hurd/unionfs.git + $ cd unionfs/ + $ git checkout -b master-unionmount origin/master + $ ... + $ git push master-unionmount + ## Merging Merging between Git branches is trivial, at least as long as no conflicts |