repository: fix an extra 2012-12-my-workshop -> master rename

diff --git a/repository b/repository
index 085dd67754e7edbd9dd2124a868e98763ae38648..70eb708372b88a91edd4422de720a00447bd7afc 100644 (file)
--- a/repository
+++ b/repository
@@ -71,7 +71,7 @@ workshop repository:
 
   -o--o--o--o--o          origin/master
     \-o--o      \         origin/git-wtk
-          \------o--a--b  2012-12-my-workshop
+          \------o--a--b  master
 
   Figure 2: Workshop-specific changes go into the workshop-specific
   repository.  Example log: