On Sun, 04 Mar 2012 13:01:27 -0800 Matthew Brush <mbr...@codebrainz.ca> wrote:
> On 12-03-04 07:07 AM, Colomban Wendling wrote: > > Le 04/03/2012 09:28, Frank Lanitz a écrit : > >> On Sun, 04 Mar 2012 03:40:29 +0100 > >> Colomban Wendling<lists....@herbesfolles.org> wrote: > >> > >>> IMO we should not record merges when there is only one single > >>> commit or when the commits are unrelated (though the latter > >>> should probably be less common) and rather rebase or cherry-pick > >>> the commits. > >>> > >>> However, we must keep the merge when the commits are a whole > >>> thing not to lose that information (when several commits are > >>> needed to implement a single thing). > >> > >> I agree. And in second case we have to keep care that merge > >> message is informative enough to don't go into complete tree just > >> to understand what have been done there. Personally I started > >> using the git merge command from command line more often instead > >> of github's web interface as its not satisfying my understanding. > > > > Same for me, moreover because I prefer to test the PR locally as a > > simple branch before doing the merge, so it's not much effort than > > using the GitHub UI, and it's a lot more powerful. > > > > Same here, but I don't think it matters whether using `git merge` or > the Github GUI to do it, there's still a need to change the default > merge message (apparently). Issue on github is, that you aren't able to change the first line ... Cheers, Frank -- http://frank.uvena.de/en/
pgplQylGebuYv.pgp
Description: PGP signature
_______________________________________________ Geany-devel mailing list Geany-devel@uvena.de https://lists.uvena.de/cgi-bin/mailman/listinfo/geany-devel