At time of writing, no GAP actually has a published version!
We should nag GAP authors that if there is no published version 4 weeks after the draft has been updated, then you should release a new version
(resets when the draft is updated again)
Ideally this would in the form of a draft PR that is auto-created and assigned to the GAP author(s) to merge.
At time of writing, no GAP actually has a published version!
We should nag GAP authors that if there is no published version 4 weeks after the draft has been updated, then you should release a new version
(resets when the draft is updated again)
Ideally this would in the form of a draft PR that is auto-created and assigned to the GAP author(s) to merge.