Hello,
On Thu, Jun 21 2018, Mattia Rizzolo wrote:
> On Wed, Jun 20, 2018 at 10:06:12PM +0200, Mattia Rizzolo wrote:
>> Anyhow, I'll see tomorrow to this.
>
> So I've tried, but it looks like you had tried to upload this before,
> and there are already the relevant tags in dgit. That's preventing me
> from uploading.
>
> What would you like me to do?
Mattia got this error:
> dgit: subprocess failed with error exit status 1
> ! Push failed, while updating the remote git repository - see messages above.
> ! If you want to try again, you should use a new version number.
Which is actually not just a suggestion but the right thing to do here.
The general rule is: whenever your push to dgit repos succeeds (i.e. the
push that Nikolaus did, of these tags) but the upload to the archive
fails (i.e. his attempt to dput the package), you should always use a
version number.
This is so that the history on dgit-repos is fast-forwarding.
So, Nikolaus should do something like this:
% dch Try upload again.
% dch -r
% # git commit, git push etc.
and then Mattia does a `dgit push --dpm --new <etc>`.
It's inconvenient. dgit does not know enough about what exactly DMs can
do to prevent the mistake before the push.
--
Sean Whitton
Attachment:
signature.asc
Description: PGP signature