Commit Graph

8 Commits

Author SHA1 Message Date
Simon Michael
8bfde51ae8 ;dev:ci: rename usual CI branch to "ci" 2023-10-18 14:02:59 +01:00
Simon Michael
748e4e8e5d ;dev: comment 2023-06-06 20:35:22 -10:00
Simon Michael
502b80ad81 ;dev: push: ensure git's pager doesn't stop progress 2023-05-27 12:47:32 -10:00
Simon Michael
eff29ac10d ;tools: push: refactor 2023-01-21 10:21:38 -10:00
Simon Michael
7a5676dde4 ;tools: push: select branch to push more robustly 2023-01-21 10:19:03 -10:00
Simon Michael
e07d290338 ;dev: tools: cleanup 2022-12-11 15:31:40 -10:00
Simon Michael
c0b63c14e9 ;dev: tools/push improvements 2022-12-11 13:07:08 -10:00
Simon Michael
b49968ee32 ;dev: extract tools/push 2022-12-11 11:49:27 -10:00