gap-packages / ace

GAP interface for the the Advanced Coset Enumerator (ACE)
https://gap-packages.github.io/ace/
MIT License
3 stars 6 forks source link

Release ACE 5.3 #19

Closed olexandr-konovalov closed 4 years ago

olexandr-konovalov commented 4 years ago

A number of changes accumulated since ACE 5.2 on 11/03/2016 almost 4 years ago. Time for a nw release?

olexandr-konovalov commented 4 years ago

Pinging @gregg0 and @fingolfin as maintainers.

fingolfin commented 4 years ago

Yes, a release is long overdue. It would also fix #10. @gregg0 I can take care of it, and will do so by the end of the week, unless I hear an objection from you (and earlier if you approve)

gregg0 commented 4 years ago

Dear Max

Sorry for not being so communicative. So broken links to the main manuals ... what's the intention? ... leave them broken? ... or do by-hand fixes that will probably break again as soon as there are any changes made to the main manuals ... it's probably do-able, since there are only a handful of them. I tried to find explanation of #10 ... but maybe it's just my inexperience at reading what's there.

I was just made redundant, at Curtin, as of December 13 which was a Friday(?!), so I've probably got more time to do things now. The amusing thing is I've been expecting the axe to fall every year for the last 17 years, which is why I had things at UWA, not Curtin. Anyway, I'm finally free of the place.

Regards, Greg


From: Max Horn notifications@github.com Sent: 11 February 2020 04:04 To: gap-packages/ace ace@noreply.github.com Cc: Gregory Gamble greg.gamble@uwa.edu.au; Mention mention@noreply.github.com Subject: Re: [gap-packages/ace] Release ACE 5.3 (#19)

Yes, a release is long overdue. It would also fix #10https://github.com/gap-packages/ace/issues/10. @gregg0https://github.com/gregg0 I can take care of it, and will do so by the end of the week, unless I hear an objection from you (and earlier if you approve)

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHubhttps://github.com/gap-packages/ace/issues/19?email_source=notifications&email_token=ABKQEED5Y66L3TQQLSUYOZDRCGXNTA5CNFSM4KSR77WKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOELKBWWQ#issuecomment-584325978, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABKQEEGUOKTKXSFD7JNCJUTRCGXNTANCNFSM4KSR77WA.

fingolfin commented 4 years ago

Greg, the broken links are already taken care of. To quote what I wrote in #10:

This was a problem with the release wrapping, and will be automatically fixed in the next release.

gregg0 commented 4 years ago

Dear Max

I read that ... but I didn't have any confidence that those links would be fixed automatically. It's been too long since I've done a release wrapping, I guess. Anyway, I approve. Is there any value in working on moving the documentation to GAPDoc?

Regards, Greg


From: Max Horn notifications@github.com Sent: 11 February 2020 04:53 To: gap-packages/ace ace@noreply.github.com Cc: Gregory Gamble greg.gamble@uwa.edu.au; Mention mention@noreply.github.com Subject: Re: [gap-packages/ace] Release ACE 5.3 (#19)

Greg, the broken links are already taken care of. To quote what I wrote in #10https://github.com/gap-packages/ace/issues/10:

This was a problem with the release wrapping, and will be automatically fixed in the next release.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHubhttps://github.com/gap-packages/ace/issues/19?email_source=notifications&email_token=ABKQEEG6AH2JJMIDYYQHL73RCG5CZA5CNFSM4KSR77WKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOELKHGDA#issuecomment-584348428, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABKQEECPVBYOA4VDGKSW7EDRCG5CZANCNFSM4KSR77WA.

fingolfin commented 4 years ago

@gregg0 sure that would be useful -- but not for this release! I'd rather release what we have now, and not wait for other changes that might or might not come; if those changes come, we can simply make another release. There's no harm in that, after all :-)

gregg0 commented 4 years ago

No worries Max

I'm sure, it will take me a while to get going with it. Go for it.

Regards Greg


From: Max Horn notifications@github.com Sent: 11 February 2020 21:08:53 To: gap-packages/ace ace@noreply.github.com Cc: Gregory Gamble greg.gamble@uwa.edu.au; Mention mention@noreply.github.com Subject: Re: [gap-packages/ace] Release ACE 5.3 (#19)

@gregg0https://github.com/gregg0 sure that would be useful -- but not for this release! I'd rather release what we have now, and not wait for other changes that might or might not come; if those changes come, we can simply make another release. There's no harm in that, after all :-)

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHubhttps://github.com/gap-packages/ace/issues/19?email_source=notifications&email_token=ABKQEEGQAYGTEY6N3ZZZLSTRCKPOLA5CNFSM4KSR77WKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOELMLBIA#issuecomment-584626336, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABKQEEC5SJ3W3TQT6WFSZDLRCKPOLANCNFSM4KSR77WA.

fingolfin commented 4 years ago

I just released ACE 5.3