May 12, 2024
2:28 p.m.
Hi Paul, On Sat, May 11, 2024 at 10:44:52PM GMT, Alejandro Colomar wrote:
So, my plan if you release as of 5b6a74fba1b3 ("Update some URLs") --or around that--, it would be useful to me, because I would already import all of your git history into the man-pages repo, and do a great merge there.
If you don't, I'll probably drop the temporary changes that I have in my working branches at the moment, and re-do them again after you release 2024b.
Never mind, I've prepared a branch, and I'll rebase it with --rebase-merges when you release. I don't need any action from your side any more. ;-) Have a lovely day! Alex -- <https://www.alejandro-colomar.es/>