I have taken the liberty of creating an organisation and repository for CORE on GitHub.
Motivation is to decouple the release process from specific individual people, who may disappear without notice.
Also, the ability to formally declare pull requests will ensure that individual people's finished work will - once declared as ready - always be visible to whoever intends to create a release, even if said people are not present at the time.
Conversely, after declaring a piece of work ready, the contributor does not need to care about preserving the state of affected files: Accidentally submitting files with further, incomplete changes cannot happen, so work may continue at any time without heed for the integration process.
CORE contributors may PM me their GitHub name for access to the organisation.
Read-only access to the repositories is free for everyone.
Motivation is to decouple the release process from specific individual people, who may disappear without notice.
Also, the ability to formally declare pull requests will ensure that individual people's finished work will - once declared as ready - always be visible to whoever intends to create a release, even if said people are not present at the time.
Conversely, after declaring a piece of work ready, the contributor does not need to care about preserving the state of affected files: Accidentally submitting files with further, incomplete changes cannot happen, so work may continue at any time without heed for the integration process.
CORE contributors may PM me their GitHub name for access to the organisation.
Read-only access to the repositories is free for everyone.