Open vaitkus opened 1 year ago
This potential reasons for renaming the branch are provide in issue https://github.com/COMCIFS/comcifs.github.io/issues/11.
The renaming should happen after the majority of the outstanding PRs are merged. Are there any objections to this proposal?
I have no objections.
This potential reasons for renaming the branch are provide in issue https://github.com/COMCIFS/comcifs.github.io/issues/11.
The renaming should happen after the majority of the outstanding PRs are merged. Are there any objections to this proposal?