#43 Updated branching document and added issues.sh script for handling issue state for git branches #44

Merged
kai.boesefeldt merged 1 commits from 43 into main 5 months ago
Collaborator
There is no content yet.
kai.boesefeldt added 1 commit 5 months ago
mat approved these changes 5 months ago
mat left a comment

Everything fine.

kai.boesefeldt merged commit 81de458106 into main 5 months ago
kai.boesefeldt deleted branch 43 5 months ago

Reviewers

mat approved these changes 5 months ago
The pull request has been merged as 81de458106.
Sign in to join this conversation.
Loading…
There is no content yet.