<div dir="auto">I don't think we should un-push the tag. I also don't think it's worth rev'ing the version over the changelog? But I'd definitely rev the version if we think we need to include it.<div dir="auto"><br></div><div dir="auto">Sincerely,</div><div dir="auto">-Alex</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Oct 27, 2022, 10:42 PM Keith Winstein <<a href="mailto:keithw@cs.stanford.edu">keithw@cs.stanford.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div>Thanks Ben. I didn't realize we had pushed an unsigned tag already. I guess... my tentative thought would be let's un-push the "mosh-1.4.0" tag since I'd rather maintain past practice and have that be a signed tag anyway. Unless you think this will cause lots of problems (but I don't think it will). I don't think we need to rev the version number unless you do.</div><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><br></div><div class="gmail_attr">And then I think sure, please do what you think is right with the ChangeLog and the debian/changelog however you prefer, and then I can tag and sign that and we can cut the source tarball from there. Sorry for the last-minute friction here.<br></div><div class="gmail_attr"><br></div><div class="gmail_attr">-Keith<br></div><div dir="ltr" class="gmail_attr"><br></div><div dir="ltr" class="gmail_attr">On Thu, Oct 27, 2022 at 7:14 PM Benjamin Barenblat <<a href="mailto:bbarenblat@gmail.com" target="_blank" rel="noreferrer">bbarenblat@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Wednesday, October 26, 2022, at  8:33 PM -0700, Keith Winstein wrote:<br>
> (1) Should we update the ChangeLog file for the source release? It looks<br>
> like you (and achin?) already wrote text for it.<br>
<br>
I completely forgot about the changelog. Yes, we should update that.<br>
What do you think – should we update the changelog and push a 1.4.1 tag,<br>
or should we update the changelog and replace the existing 1.4.0 tag<br>
with a new one that includes the changelog update?<br>
<br>
> (2) Should I make the final 1.4.0 debian/changelog entry (probably<br>
> including the same bullet points as we'll put into ChangeLog) or do you<br>
> want to make a PR for that?<br>
<br>
I can take care of the Debian work. Debian generally prefers to keep<br>
upstream changelog entries out of debian/changelog – debian/changelog is<br>
supposed to be a changelog for the packaging, not the package. But I’ll<br>
make sure the Mosh changelog is included in /usr/share/doc/mosh.<br>
<br>
> (3) In the past the release announcement email named/credited the "primary<br>
> developer and release manager" -- what do you want it to say this time?<br>
> (I.e who should be credited and in what order?)<br>
<br>
For developers, it looks like cgull, Anders, Alex, and I all contributed<br>
over 100 lines of diff to Mosh since the last release. It’s an arbitrary<br>
cutoff, but it seems as good as any to me. I think cgull should probably<br>
go first on the list, since they were making active contributions until<br>
2021.<br>
<br>
As for release manager, I think that’s Alex. He was definitely the<br>
forcing function here. :)<br>
</blockquote></div></div>
</blockquote></div>