Re: git: d008ed9fc471 - main - editors/bless: resurrect^Wreadd previously expired port

On Thu, Dec 01, 2022 at 12:11:35PM +0100, Guido Falsi wrote:
> On 01/12/22 11:09, Alexey Dokuchaev wrote:
> > On Thu, Dec 01, 2022 at 03:25:45PM +0530, Ashish SHUKLA wrote:
> >> On 2022-12-01 15:14, Alexey Dokuchaev wrote:
> >>> commit d008ed9fc4710fc5ebef72193a162edc3838b127
> >>>
> >>>    editors/bless: resurrect^Wreadd previously expired port
> >>> +
> >>> +WWW: http://home.gna.org/bless/
> >>
> >> Domain name in WWW doesn't resolve, and it needs to go in Makefile.
> > 
> > I know that very well.  This is initial readding commit so it does
> > not contain non-essential changes to help Git track history better.
> 
> As a mere suggestion, you could do the two commits in a row in your
> local clone and then push them together after the second one, so others
> would see them together and not be confused.

That's a good suggestion, actually, thank you Guido!

./danfe