Please sign in to comment.
doc: explain why GitHub merge button is not used
Adds documentation and explicit reasons on why the GitHub web interface button is not used. This was explained in the referenced issue by @thealphanerd. Fixes: #8893 PR-URL: #9044 Reviewed-By: Myles Borins <email@example.com> Reviewed-By: Stephen Belanger <firstname.lastname@example.org> Reviewed-By: Luigi Pinca <email@example.com>
- Loading branch information...