ci: Make repetitive command the default one #1411

1. 
   hebasto commented at 1:53 pm on August 23, 2023: member

   This PR addresses the #1409 (review):

   couldn’t we add this to run-in-docker-action to avoid duplication?

2. hebasto cross-referenced this on Aug 23, 2023 from issue ci: Move remained task from Cirrus to GitHub Actions by hebasto
3. 
   real-or-random commented at 2:17 pm on August 23, 2023: contributor

   Thanks. I think it’s even cleaner to make ./ci/ci.sh the default, and always prepend the git config?
4. real-or-random added the label ci on Aug 23, 2023
5. real-or-random cross-referenced this on Aug 23, 2023 from issue ci: Future of CI after Cirrus pricing change by real-or-random
6. ci: Move `git config ...` to `run-in-docker-action` 317a4c48f0
7. ci: Make repetitive command the default one cce0456304
8. hebasto force-pushed on Aug 23, 2023
9. 
   hebasto commented at 9:16 pm on August 23, 2023: member

   I think it’s even cleaner to make ./ci/ci.sh the default, and always prepend the git config?

   Thank you! Implemented.

10. real-or-random approved
11. 
    real-or-random commented at 8:45 am on August 24, 2023: contributor

    ACK cce045630407e662c90279abb2b0e71161f24e74
12. real-or-random merged this on Aug 24, 2023
13. real-or-random closed this on Aug 24, 2023

    ---

14. hebasto deleted the branch on Aug 24, 2023

Contributors
hebasto real-or-random

Labels
ci