Wookey writes: > locally push and push-source are provided, but when signing remotely > there is only rpush: no rpush-source.
Indeed. > It is possible to work-around this, but there seems to be no good > reason to have this functionality missing when signing remotely, so it > would be much appreciated if you could add it. I have now implemented this and I will be uploading it shortly. I have done this the same way `dgit push` has changed in dgit 10: `dgit rpush`, like `dgit push`, is a configurable alias. There are `dgit rpush-built` and `dgit rpush-source` by analogy with `dgit push-built` and `dgit push-source`. If the new warning from `dgit rpush` is too annoying, it can be overridden with a git global config option. I hope to be uploading shortly. You will be able to install the sid buildd's dgit 10.x .deb directly on earlier releases - my policy is to try make the new binaries installable on old releases. Ian. -- Ian Jackson <ijack...@chiark.greenend.org.uk> These opinions are my own. Pronouns: they/he. If I emailed you from @fyvzl.net or @evade.org.uk, that is a private address which bypasses my fierce spamfilter.
