Hi Paul, On Sat, May 11, 2024 at 09:33:50AM GMT, Paul Eggert wrote:
On 2024-05-11 05:34, Alejandro Colomar wrote:
Paul, do you have in mind releasing soon? I will act differently in the man-pages repo depending on your plans.
Do you mean, release what we have now in the development repository?
Yep, what you have in the development repo.
Or were you thinking of some sort of grand renaming first? The former would be easy, the latter would likely take more thinking and discussion.
No; actually I don't need the renaming at all any more, thanks to Junio's (git(1) maintainer) suggestion to use `git am -3`, which works even with different paths (it somehow recognizes that the files are very similar and correctly guesses what I want to do). With Junio's suggestion, I can cherry-pick your commits by adding your remote to my local repo, and then run $ git format-patch 2024a..2024b | git am -3 from the man-pages master branch, and magically get all of your updates in the correct files, and with their git history, which is neat. 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. Have a lovely night! Alex -- <https://www.alejandro-colomar.es/> A client is hiring kernel driver, mm, and/or crypto developers; contact me if interested.