diff options
| author | Anonymous <anon@anon.com> | 2022-08-13 15:21:21 +0200 |
|---|---|---|
| committer | Anonymous <anon@anon.com> | 2022-08-13 15:21:21 +0200 |
| commit | c36b8d042f405640c36719847f7b6184c2795038 (patch) | |
| tree | 0dfcde40a57f3f5f6e7691c63bc5962149b6b318 /agenda | |
| parent | 0cfded05acbb511fa784ed811549093ee263183c (diff) | |
Created automatize cgit.krebsco.de (markdown)
Diffstat (limited to 'agenda')
| -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 |