diff options
-rw-r--r-- | .topdeps | 1 | ||||
-rw-r--r-- | .topmsg | 16 |
2 files changed, 17 insertions, 0 deletions
diff --git a/.topdeps b/.topdeps new file mode 100644 index 00000000000..441e46b29c7 --- /dev/null +++ b/.topdeps @@ -0,0 +1 @@ +3a930d3fc68785662f5f3f4af02474cb21a62056 diff --git a/.topmsg b/.topmsg new file mode 100644 index 00000000000..dd6634c8865 --- /dev/null +++ b/.topmsg @@ -0,0 +1,16 @@ +Subject: Baseline for our topic branches. + +--- + +This need not strictly be a TopGit branch, but it is for easy synchronization +between different machines. + +As the baseline is merged into the topic branches, it is forward-only. + +To advance it: + + $ echo [SHA1] > .topdeps + $ git commit -m Advance. -- .topdeps + $ tg update + +--- |