Stream: coq-community devs & users

Topic: Apery

Kazuhiko Sakaguchi (Oct 14 2022 at 09:10):

It seems that someone gave me write access to the apery repo, but no one told me this except that GitHub sent me an e-mail notifying this. So I don't know who did that and I'm a bit puzzled. Nevertheless, I'm fine to co-maintain the project if it helps. @Assia Mahboubi @Karl Palmskog

Karl Palmskog (Oct 14 2022 at 11:16):

@Kazuhiko Sakaguchi we instituted branch protection for all MathComp-affiliated projects in Coq-community, including Apery. I thought since you might update the changes related to Algebra Tactics, it would be useful if you had write access to the repo master branch. Since you were a member of the MathComp GitHub organization, you could already do this before the Apery repo was moved to Coq-community.

Karl Palmskog (Oct 14 2022 at 12:25):

@Assia Mahboubi to make it official, we can add Kazuhiko as a co-maintainer of the Apery repo, can you confirm this is fine with you?

Assia Mahboubi (Oct 14 2022 at 12:35):

This is absolutely fine of course, thank you @Kazuhiko Sakaguchi for your proposal.

Kazuhiko Sakaguchi (Oct 15 2022 at 23:54):

Thanks for the clarification, and I will put a reasonable effort as a maintainer.

Last updated: Apr 20 2024 at 07:01 UTC