Skip to content

Update the contributing docs#2014

Merged
boegel merged 3 commits intodevelopfrom
ocaisa-patch-1
Apr 7, 2020
Merged

Update the contributing docs#2014
boegel merged 3 commits intodevelopfrom
ocaisa-patch-1

Conversation

@ocaisa
Copy link
Copy Markdown
Member

@ocaisa ocaisa commented Apr 6, 2020

The command for turning an issue into a PR was out of date (as given) and (I think) an unnecessary complication since you can link PRs to issues directly (now) anyway.

Fixes #2011

ocaisa and others added 3 commits April 6, 2020 16:51
The command as given was out of date and (I think) an unnecessary complication since you can link PRs to issues directly (now) anyway
@boegel boegel added the bug fix label Apr 7, 2020
@boegel boegel added this to the next release (4.2.0) milestone Apr 7, 2020
Copy link
Copy Markdown
Member

@boegel boegel left a comment

Choose a reason for hiding this comment

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

lgtm

@boegel boegel merged commit 5abed5c into develop Apr 7, 2020
@boegel boegel deleted the ocaisa-patch-1 branch April 7, 2020 07:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Github command-line API for pull requests is being deprecated

2 participants