Stream: Coq Platform devs & users

Topic: 2021.02.0 release open topics


view this post on Zulip Michael Soegtrop (Feb 24 2021 at 13:15):

A few topics which we might want to address before we do a 2021.02.1 release:

Feedback on these topics and on additional topics welcome!

view this post on Zulip Enrico Tassi (Feb 24 2021 at 13:19):

There is no Mac installer (ToDo)

This is the only topic I may contribute to (by finishing the DMG pull request). But you were working on it, so I did not. If things changed, just tell me.

view this post on Zulip Théo Zimmermann (Feb 24 2021 at 14:06):

One might want to add MacPorts and Homebrew packages for Coq Platform

I think this is outside the job of platform maintainers. What we have to provide is a good documentation so that other people can package the Coq platform for their preferred package manager.

view this post on Zulip Théo Zimmermann (Feb 24 2021 at 14:08):

The opam package for the platform could be a nice addition, but if you anticipate that it will often create issues, then better not provide it than to provide it and not update it. In other words, only provide it if this is something we can commit to. The scripts work just fine.

view this post on Zulip Théo Zimmermann (Feb 24 2021 at 14:10):

Regarding the mac installer, this is a high priority issue IMHO. I don't see how I can complete and merge https://github.com/coq/www/pull/162 without it.

view this post on Zulip Michael Soegtrop (Feb 25 2021 at 08:59):

When I renamed the branch I forgot to adjust the branch name patterns in the CU files, so CI did not run. I fixed this and CI does run now, so the installers should be available soon. I will give them a quick test as soon as they are ready.

view this post on Zulip Michael Soegtrop (Feb 25 2021 at 09:05):

Btw.: should we start to create forks and use fork branches for PRs so that the branch structure looks cleaner?

view this post on Zulip Enrico Tassi (Feb 25 2021 at 09:13):

This is a good idea. I think GH lets you block the creation of branches or something like that, @Théo Zimmermann knows better.

view this post on Zulip Théo Zimmermann (Feb 25 2021 at 17:30):

Unfortunately, no, not yet. But this feature is now (finally :tada:) on the GitHub roadmap: https://github.com/github/roadmap/issues/166

view this post on Zulip Théo Zimmermann (Feb 25 2021 at 17:30):

If they respect their timeline, it should land in one month at most.

view this post on Zulip Guillaume Melquiond (Feb 25 2021 at 17:44):

That seems like a much larger solution than needed. Would the current "branch protection" mechanism not be sufficient to prevent branch creation? For instance, I would expect that protecting the * branch would prevent any new branch from being created, would it not?

view this post on Zulip Théo Zimmermann (Feb 25 2021 at 17:45):

No, I've tested this but it doesn't work like this. Anyone can create a new branch but then that branch is protected (and thus no one can delete it). With the new mechanism (which I agree is much bigger than what we need), we will be able to restrict who can create new branches and how they can be named.

view this post on Zulip Guillaume Melquiond (Feb 25 2021 at 17:57):

Théo Zimmermann said:

then that branch is protected (and thus no one can delete it)

Seems like someone did not think it through... Depressing.

view this post on Zulip Enrico Tassi (Feb 25 2021 at 18:01):

GH: "all your branches are mine"

view this post on Zulip Michael Soegtrop (Feb 25 2021 at 22:12):

Just a note: since some CI is still running, I decided to do the branch renaming tomorrow first thing:

I try to extend the CI over the weekend so that nightly builds run on both dev-ci and 2021.02.

view this post on Zulip Michael Soegtrop (Feb 25 2021 at 22:13):

P.S.: Should I do the release tag before or after that?

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 05:56):

I don't think it matters much. As long as everything is up to date in the 2021.02 branch when you tag.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 08:08):

@Enrico Tassi : when do you expect the signed installers? I would do the release when you have them, so that we can add them immediately.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 08:09):

@Théo Zimmermann : you said before that the release notes should be more ealborate, e.g. contain the package structure, but isn't it sufficient to link to the Readme for that?

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:33):

I sent them yesterday, they downloaded them (the privacy breach of filesender) but I did not get them back

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:34):

I may ping them if I hear nothing by noon

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:34):

it is weird, because they sign them evem fron home sometimes, e.g. 8.13.1 was sent back at 11PM

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:48):

Wow, gihub show me a popup that the branch v8.13 was renamed with instruction on how to fix my local clone

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:49):

FTR I started a job from the web UI to build and upload the snap package. Apparently they lifted the limitation: you can select on which branch you run it (so my curl hack is not needed anymore, strictly speaking).

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:49):

I still need to improve a little the messages that show up in the little form, I'll open a PR

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:55):

Screenshot-from-2021-02-26-09-53-05.png

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:55):

I'm now happy with it, anyone with write access to the repo can run it and upload to the store. One still needs some credentials to publish the uploaded file.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 08:56):

I should share these with you @Michael Soegtrop and @Théo Zimmermann , how do you want me to send them?

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 09:36):

By encrypted e-mail. Do you already have my GPG key?

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 09:39):

@Michael Soegtrop Sure, as long as you say something like: see the README for the list of included packages and their version, rather than just "further details". Also, since we explicitly document the existence of both binary packages and scripts on the website, I think it is important that these release notes mention where to find the instructions for these scripts. The easiest way is probably to repeat the pointers to the three system-specific READMEs.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 09:40):

I.e. I would repeat for each release of the platform that it can be installed as a binary or from sources and where to find the relevant files.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 10:02):

@Théo Zimmermann : would you mind drafting the release message? Or shall I draft one and you review it?

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 10:03):

@Théo Zimmermann @Enrico Tassi : are we ready for the tag?

view this post on Zulip Enrico Tassi (Feb 26 2021 at 10:04):

I'm OK

view this post on Zulip Enrico Tassi (Feb 26 2021 at 10:04):

(I still don't have the signed packages... but we can tag)

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 10:36):

OK I'll draft something.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 11:01):

I've put a draft at https://github.com/coq/platform/releases
The links should work once the draft is associated to a tag.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 11:01):

Feel free to edit it further.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 11:06):

Thanks - very nice! When mentioning the Snap installer, should we refer to Readme_Linux?

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 11:07):

Btw.: did we already discuss a naming scheme for the tag? Should it be just 2021.02.0 so that branch and tag names differ by length and not by a prefix?

view this post on Zulip Enrico Tassi (Feb 26 2021 at 11:09):

I'd say 2021.02.0 is OK. I did ping the "windows signature masters", no news so far.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 11:12):

OK, then I do the tag as 2021.02.0. We can keep the release in draft state until the signed packages are there.

Btw.: did you have a look at the strange CoqIDE effect (that it hangs on the UniCoq smoke test file?)

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 11:22):

Michael Soegtrop said:

Thanks - very nice! When mentioning the Snap installer, should we refer to Readme_Linux?

Indeed, why not?

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 12:41):

I did the tag and a few minor changes to the draft release (one larger change: the release was called 2021.02.1, I changed it to 2021.02.0).

@Théo Zimmermann : are you sure that links without path/version go to the respective release and not to the default repo?

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 12:45):

Yes, I'm sure.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:45):

I got a "we will do it now" from the signing masters, I'll forward you the email with the links. Then I have to go and I'll be back around 5PM. BTW, I realize now that I don't need to share any credentials with you, I can just add you to the list of collaborators on the snap package

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 12:46):

Great, that's even better!

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:46):

if you already have an account on https://snapcraft.io/ then tell me with which email

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 12:47):

Not yet. I'll send you the info when I create one.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:47):

it is not clear if you have to

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:47):

they ask for any email

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:47):

tell me which one you would use and I'll try

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 12:47):

I would use my Gmail email for this kind of thing.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:48):

I don't have it

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:51):

I found it and sen you the invite

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 12:53):

Yes, I've received it!

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:55):

FTR, I still have the credentials for the owner of the snap, which I may want to share anyway (the recovery email is coq-team but still).

view this post on Zulip Enrico Tassi (Feb 26 2021 at 12:56):

e.g. I don't think you will be able to add collaborators

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 13:03):

@Enrico Tassi : I received the installers and will upload them now.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 13:34):

I did the release on GitHub :-)

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 14:01):

@Enrico Tassi in addition to the announcement email, I'm thinking this should get a news item on the website.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 15:12):

I'm back but I have a call. @Théo Zimmermann you did not accept the snap store invitation apparently

view this post on Zulip Enrico Tassi (Feb 26 2021 at 15:12):

BTW if you two have 5 minutes around 5PM I can give you a mini demo of the snap store, to put you up to speed.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 15:21):

Yes, I've got 5 minutes at 5pm. But not much more than this because I need to be somewhere else before curfew.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 15:57):

I've accepted the invitation now.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 16:08):

sorry I"m late

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 16:10):

@Enrico Tassi If it's actually just 5 minutes, it's still OK for me.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 16:11):

But we can also do this another time when @Michael Soegtrop is available.

view this post on Zulip Théo Zimmermann (Feb 26 2021 at 16:14):

Let's do this another time.

view this post on Zulip Enrico Tassi (Feb 26 2021 at 16:24):

lets do another time

view this post on Zulip Enrico Tassi (Feb 26 2021 at 16:25):

sorry, the meeting did overflow

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 16:57):

Hi, I am available now. Anything left to be done?

view this post on Zulip Enrico Tassi (Feb 26 2021 at 17:01):

I'd say no, maybe review/merge https://github.com/coq/www/pull/165

view this post on Zulip Enrico Tassi (Feb 26 2021 at 17:01):

And yes, for the snap store I need an email of you to send you an invitation, this way you will be able to manage the package without sharing credentials

view this post on Zulip Enrico Tassi (Feb 26 2021 at 17:04):

Which email do you want me to use?

view this post on Zulip Gaëtan Gilbert (Feb 26 2021 at 17:06):

did this break ci? https://gitlab.com/coq/coq/-/jobs/1059254561

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 17:07):

@Gaëtan Gilbert : sorry - yes. We renamed the master branch to "dev-ci". This needs to be adjusted in the scripts. I will to a PR right away.

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 17:16):

https://github.com/coq/coq/pull/13884

view this post on Zulip Michael Soegtrop (Feb 26 2021 at 17:31):

Thank you all for your help with this - time to celebrate!

view this post on Zulip Enrico Tassi (Feb 26 2021 at 17:52):

@Michael Soegtrop for the snap store I can send you an invitation, this way you will be able to manage the package without sharing credentials.
Which email do you want me to use?

view this post on Zulip Enrico Tassi (Feb 26 2021 at 17:53):

(you can also no, it's just that I want to be sure you did not miss my previous message)


Last updated: Jan 30 2023 at 11:03 UTC