From 85293dc7c322d94816d05fcffdff312828e28dde Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Wed, 9 Oct 2013 08:07:02 +0100
Subject: Test admin's tag pushing

---
 git.liw.fi.yarn | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

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
 -----------
 
-- 
cgit v1.2.1