diff options
| -rw-r--r-- | agenda/automatize cgit.krebsco.de.md | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/agenda/automatize cgit.krebsco.de.md b/agenda/automatize cgit.krebsco.de.md new file mode 100644 index 0000000..ff12915 --- /dev/null +++ b/agenda/automatize cgit.krebsco.de.md @@ -0,0 +1,10 @@ +1. for each remote have a dedicated branch, e.g. tv's remote at https://cgit.ni.krebsco.de/ should be called `tv` +2. have a branch called `newest` that points to the most recent remote commit +3. have a branch called `common` that points to the most recent commit that appears on all remote branches +4. bonus level: have a branch called `quorum` that points to the most recent commit that appears on at least N branches (initial N could be e.g. 3) + + +### alternative domain names + +- instead of cgit.krebsco.de, maybe we want to use git.krebsco.de? +- in addition to the public domain name, add a retiolum (and wiregrill?) domain name: git.r, git.w
\ No newline at end of file |