5 commits

Author	SHA1	Message	Date
Fabio Manganiello	e39e36e5f6	[CI/CD] A more resilient github-mirror script. ... - Fail immediately if no branches are checked out. - Rebase only if we're pushing on master (don't bother for feature branches). - Do a push force to Github.	2024-09-02 02:31:11 +02:00
Fabio Manganiello	4c80e6fd34	Fixed github.com repo URL case.	2024-07-27 15:38:55 +02:00
Fabio Manganiello	598de6b91a	[CI/CD] Only push tags to Github on the second git push command.	2024-07-27 15:36:22 +02:00
Fabio Manganiello	9bbdfc1eb9	[CI/CD] Mirror also tags to Github.	2024-07-27 15:31:50 +02:00
Fabio Manganiello	7fa0dbda7b	Split Drone CI steps into separate shell scripts. ... A fully self-contained 1.5k LoC Drone file isn't very maintainable, and it makes it hard to reuse parts that are shared across multiple steps (like SSH and git configuration).	2024-05-23 00:17:55 +02:00