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?
No objections here.
No objections from me.
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?