You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
At GRKDT we began an effort to tidy up a little those eCH repositories. This includes deleting stale or ourdated branches.
The main goal is to have a cleat state to start from using the new policy as described in the readme.
In this ticket I will list the branches that I will DELETE on friday 20.12.2024, along with their owner.
If a branch owner does not want to see his branch deleted, please:
Check the branch and rebase it if needed
Open a PR, explaining the goal of the branch and pointing to the open issues solved by it
Put a comment in this issue.
The text was updated successfully, but these errors were encountered:
At GRKDT we began an effort to tidy up a little those eCH repositories. This includes deleting stale or ourdated branches.
The main goal is to have a cleat state to start from using the new policy as described in the readme.
In this ticket I will list the branches that I will DELETE on friday 20.12.2024, along with their owner.
If a branch owner does not want to see his branch deleted, please:
The text was updated successfully, but these errors were encountered: