Do manual squash cleanup for docs (#6646)
authorGereon Kremer <nafur42@gmail.com>
Wed, 2 Jun 2021 06:29:02 +0000 (08:29 +0200)
committerGitHub <noreply@github.com>
Wed, 2 Jun 2021 06:29:02 +0000 (06:29 +0000)
commit444487219984b510bfe8c95c25fd8d28466551d5
tree67f61e0bd44191360690b503e645809c8f775217
parent245d3383c2f463b07987f2758af28871fe753de9
Do manual squash cleanup for docs (#6646)

This PR abandons the attempt to do the cleanup in a single rebase command, and instead squashes the old commits manually. The current solution does not handle conflicts properly. The new approach (which seems to be more robust) proceeds as follows (to squash $first..$last):

- checkout $last
- soft reset to $first (checkout $first, but keep changes in working copy)
- commit to squashed commit
- cherry-pick $last..HEAD from main branch
.github/workflows/docs_cleanup.yml