6d299fa340
- gather information about the deleted port for the commit message before removing the port. I somehow missed that when testing the script. - Instead of a temporary branch, just operate on the current branch and incorporate upstream changes with git pull --rebase. This prevents one from being stranded on a temporary branch if the script crashes and oblivates the need for a squash merge [1] Suggested by: mat [1] |
||
|---|---|---|
| .. | ||
| scripts | ||
| make_index | ||
| make_readmes | ||