Bug#943374: dgit push-source fails and loses a package version number without retries

2019-10-25 Thread Russ Allbery
Ian Jackson writes: > The DNS resolver library used by ssh *does* retry. See resolv.conf(5) > `attempts:'. But it defaults to 2 which seems far too little! Oh, thank you. This may be a better solution to my problem than changes to dgit. I think I mostly filed this bug because I was surprised

Bug#943374: dgit push-source fails and loses a package version number without retries

2019-10-24 Thread Ian Jackson
Russ Allbery writes ("Bug#943374: dgit push-source fails and loses a package version number without retries"): > Package: dgit > Version: 9.9 > Severity: normal > > This was unpleasant: How annoying. > The network from which I was trying to do dgit push-source ha

Bug#943374: dgit push-source fails and loses a package version number without retries

2019-10-23 Thread Russ Allbery
Package: dgit Version: 9.9 Severity: normal This was unpleasant: wanderer:~/dvl/debian/gnubg$ dgit --gbp push-source Format `3.0 (quilt)', need to check/update patch stack canonical suite name for unstable is sid gzip: warning: GZIP environment variable is deprecated; use an alias or script dgit: