Thanks Elek for your proposal.
I'm +1 for disabling 'merge' and 'rebase and merge' buttons in the
GitHub repository.
-Akira
On Tue, Mar 5, 2019 at 12:42 AM Elek, Marton wrote:
>
> I don't know which one is the best approach, personally I prefer to
> merge locally as in that case the commit can
I don't know which one is the best approach, personally I prefer to
merge locally as in that case the commit can be signed by my local key.
Github PR can be closed with adding a "Closes #412" comment to the end
of the commit message and with this comment the final commit will be
linked under to or
