On Wed, 9 Oct 2019, js...@gcc.gnu.org wrote: > +<li>Use "<code>git commit</code>" and "<code>git push origin > +master</code>" to check in the patch.</li>
I will admit I made a couple of first commits without reading those details and just used a plain "git push". Is there any problem with that, any drawback? Or could we simplify those instructions? Gerald
