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

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