Closed hayarobi closed 1 year ago
Both develop
and master
are protected branches, requiring review
I think we should keep the same direction of merges: first merge to develop
, then merge it to master
This PR can be edited to merge into develop
This fix the failure of github action 'Complete Tests'.
I think it's not needed to make another PR for merging into develop, so I will manually merge into develop branch after merging this PR.