Re: deleting dev/translation-* branches

2020-04-09 Thread Jonas Hahnfeld 
Am Mittwoch, den 08.04.2020, 09:41 +0200 schrieb David Kastrup:
> Jonas Hahnfeld <
> hah...@hahnjo.de
> > writes:
> 
> > Hi David,
> > 
> > I think these have gone via translation to master, so safe to delete?
> 
> I think so.

$ git push origin :dev/translation-merge :dev/translation-picking 
:dev/translation-picking-merge
To ssh://git.sv.gnu.org/srv/git/lilypond.git
 - [deleted]   dev/translation-merge
 - [deleted]   dev/translation-picking
 - [deleted]   dev/translation-picking-merge

... and gone.


signature.asc
Description: This is a digitally signed message part

Re: deleting dev/translation-* branches

2020-04-08 Thread David Kastrup 
Jonas Hahnfeld  writes:

> Hi David,
>
> I think these have gone via translation to master, so safe to delete?

I think so.

-- 
David Kastrup

deleting dev/translation-* branches

2020-04-08 Thread Jonas Hahnfeld 
Hi David,

I think these have gone via translation to master, so safe to delete?

Jonas


signature.asc
Description: This is a digitally signed message part