diff options
-rw-r--r-- | git.liw.fi.yarn | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/git.liw.fi.yarn b/git.liw.fi.yarn index 4ac74b5..0337dc7 100644 --- a/git.liw.fi.yarn +++ b/git.liw.fi.yarn @@ -113,6 +113,9 @@ repo. WHEN admin makes change to foo in tstrepo THEN admin can push foo in tstrepo + + WHEN admin tags foo branch in tstrepo + THEN admin can push foo with tags in tstrepo FINALLY remove repository tstrepo on server @@ -349,6 +352,13 @@ create it (dealing with empty repos without branches while doing so). git add file.txt git commit -m "A change to file.txt" +Make a tag change in a repo. + + IMPLEMENTS WHEN (\S+) tags (\S+) branch in (\S+) + cd "$DATADIR/$MATCH_1/$MATCH_3" + git checkout "$MATCH_2" + git tag -a -m "a tag" "$MATCH_1.$(date +%s)" + Repository pushing ------------------ @@ -359,6 +369,13 @@ A named user pushes a branch to a repository. git checkout "$MATCH_2" git push origin HEAD +Push with tags. + + IMPLEMENTS THEN (\S+) can push (\S+) with tags in (\S+) + cd "$DATADIR/$MATCH_1/$MATCH_3" + git checkout "$MATCH_2" + git push --tags origin HEAD + Cgit access ----------- |