Alan Ristow <a...@ristow.info> writes: > Finally, as a newbie here myself, I have a naïve question of my own: > Provided the patch proves successful, how/when is it applied to the > official org repo? Is it up to Ihor (or somebody else) to make a pull > request, for example?
An email with [PATCH] in header is the pull request for Org :) You can see a list of patches, confirmed bugs, and help requests in https://updates.orgmode.org/ The emails replying to the patch email are the comments to the pull request. The merge is up to Org maintainers. They patches are reviewed and merged as the maintainers get some free time to do it. Best, Ihor
