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
Given our stated process for forking and pull requests, and the presence of a stable branch, we should probably delete the development branch and use master, unless there's any reason to keep it around.
GitHub is also only allowing me to merge pull requests into stable (not sure if this is a permissions thing or due to the repo defaulting to stable), so they then also have to be merged into master and development, obviously a bit tedious.
The text was updated successfully, but these errors were encountered:
Given our stated process for forking and pull requests, and the presence of a
stable
branch, we should probably delete thedevelopment
branch and usemaster
, unless there's any reason to keep it around.GitHub is also only allowing me to merge pull requests into
stable
(not sure if this is a permissions thing or due to the repo defaulting tostable
), so they then also have to be merged intomaster
anddevelopment
, obviously a bit tedious.The text was updated successfully, but these errors were encountered: