Re: [Github-comments] [geany/geany] Project Conventions: Merging Pull Requests (#2283)