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
@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.
@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?
This is absolutely fine of course, thank you @Kazuhiko Sakaguchi for your proposal.
Thanks for the clarification, and I will put a reasonable effort as a maintainer.
Last updated: Jun 06 2023 at 21:01 UTC