Skip to content

Conversation

@Vafilor
Copy link
Contributor

@Vafilor Vafilor commented Jun 2, 2020

No description provided.

@Vafilor Vafilor added this to the 0.10.0 milestone Jun 2, 2020
@Vafilor Vafilor changed the title update: contributing with info on PRs update: add PR info to contributing doc Jun 2, 2020
… milestone because external users can not set that.
@rushtehrani rushtehrani merged commit b89f4ce into dev Jun 2, 2020
@rushtehrani rushtehrani deleted the docs-contributing-pr-info branch June 2, 2020 21:54
@rushtehrani rushtehrani changed the title update: add PR info to contributing doc docs: add PR info to contributing doc Jun 3, 2020
@rushtehrani rushtehrani added the kind/docs Improvements or additions to documentation label Jun 3, 2020
@rushtehrani rushtehrani added this to the v0.10.0 milestone Jun 3, 2020
@rushtehrani rushtehrani removed the kind/docs Improvements or additions to documentation label Jun 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants