[Om] Responsibilities for issues and PRs regarding CDs

David Carlisle davidc at nag.co.uk
Tue Jun 28 16:12:39 CEST 2022

On 28/06/2022 10:44, Wenzel, Ken wrote:
Dear OpenMath-Community,

there seem to be only minimal activities in regard to investigating issues and merging open PRs within the CDs repository:

Three PRs are open since 2019 and 2018.
Is there someone who is responsible for reviewing and merging the PRs?
Can I help somehow?

Best regards,
Ken Wenzel

I hadn't actually seen this mail but (coincidence or not) I handled some issues in the main openmath.org repo this morning,

I can merge the CDs (probably, as they re flagged experimental should be a lightweight process). I suspect the travis CI infrastructure keeping the Cds in this repo synced with openmath.org is broken, It could be switched to github actions but not unless I (or someone) finds some time. But as there are only two or three I can probably do whatever needs doing by hand.



The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: 30 St. Giles, Oxford, OX1 3LE, United Kingdom. Please see our Privacy Notice <https://www.nag.com/content/privacy-notice> for information on how we process personal data and for details of how to stop or limit communications from us.

This e-mail has been scanned for all viruses and malware by Microsoft Exchange Online (EOP)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20220628/f36a988a/attachment.htm>

More information about the Om mailing list