Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Post-Merge Chores #52

Closed
5 tasks done
tajmone opened this issue Jan 30, 2020 · 0 comments
Closed
5 tasks done

Post-Merge Chores #52

tajmone opened this issue Jan 30, 2020 · 0 comments
Milestone
master checklist

Comments

@tajmone
Copy link
Owner

tajmone commented Jan 30, 2020 •
edited
Loading

After merging into master branch, there are a few things to take care of:

  • Create the dev branch for accepting PRs.
  • Tweak repo settings:
    • Protect master branch from pull requests and force operation.
    • Protect draft branch from further pull requests and force operation.
    • Configure dev branch for PRs.
@tajmone tajmone added this to the master checklist milestone Jan 30, 2020
@tajmone tajmone mentioned this issue Jan 30, 2020
Closed
38 tasks
@tajmone tajmone pinned this issue Jan 30, 2020
@tajmone tajmone closed this as completed Jan 30, 2020
@tajmone tajmone unpinned this issue Jan 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
master checklist
Development

No branches or pull requests
1 participant
@tajmone