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

GitHub Project Boards #7

Merged
merged 3 commits into from
Dec 5, 2018
Merged

GitHub Project Boards #7

merged 3 commits into from
Dec 5, 2018

Conversation

janpio
Copy link
Member

@janpio janpio commented Sep 17, 2018

Short description on how we use Project Boards and links to the current ones.

Anything missing (that can't be added by a future PR)?

If not, please leave an "Approve" review. Thanks.

erisu
erisu approved these changes Dec 5, 2018
View reviewed changes
Copy link
Member

@erisu erisu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

  • There some todo tasks but can create issues to make notes of remaining tasks.
  • The GitHub Labels points to a specific commit and not master. Not sure if this was intended.

Other then that OK

@janpio
Copy link
Member Author

janpio commented Dec 5, 2018

@janpio janpio merged commit 42f7f50 into master Dec 5, 2018
@janpio janpio deleted the janpio-project_boards branch December 5, 2018 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@erisu erisu erisu approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@janpio @erisu