Stéphane Glondu writes ("Bug#933827: "dgit fetch" fails with "cannot remove
directory for ...""):
> Control: tags -1 + patch
> Le 09/08/2019 à 07:12, Stéphane Glondu a écrit :
> > Adding "close F;" to line 4023 of /usr/bin/dgit (before chomp) seems to
> > fix the bug.
>
> Patch attached.
Thank you for investigating and providing a patch. Very helpful.
Would you might please confirming your permission for me to distribute
your change (and your name etc.), according to the Developer
Certificate of Origin[1] ? You can do this in a commit message by
adding your Signed-off-by line (git commit -s), or with your approval
I can put it in for you.
[1] https://browse.dgit.debian.org/dgit.git/tree/DEVELOPER-CERTIFICATE
If you have questions about the s-o-b process I'll be happy to answer
them; maybe private email would be best.
Regards,
Ian.
--
Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own.
If I emailed you from an address @fyvzl.net or @evade.org.uk, that is
a private address which bypasses my fierce spamfilter.
