Skip to content

Conversation

@pradyunsg
Copy link
Member

Coming from #6787, based on an improvement by @cjerdonek.

@pradyunsg pradyunsg added type: docs Documentation related skip news Does not need a NEWS file entry (eg: trivial changes) labels Aug 21, 2019
@cjerdonek
Copy link
Member

You took my change!

@pradyunsg
Copy link
Member Author

Whoops. I'll fix that.

@pradyunsg pradyunsg force-pushed the pradyunsg-docs-improve-note branch from c58c51b to e888587 Compare August 21, 2019 10:22
@pradyunsg
Copy link
Member Author

Ah well, I was wondering what was not correct about doing that from the web UI. :)

Amended to make @cjerdonek the author, myself the committer, and signed with my personal PGP key as usual.

Copy link
Member

@cjerdonek cjerdonek left a comment

Choose a reason for hiding this comment

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

Looks good! ;)

@pradyunsg pradyunsg merged commit f0d48d1 into master Aug 22, 2019
@pradyunsg pradyunsg deleted the pradyunsg-docs-improve-note branch August 22, 2019 07:20
@lock lock bot added the auto-locked Outdated issues that have been locked by automation label Sep 21, 2019
@lock lock bot locked as resolved and limited conversation to collaborators Sep 21, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

auto-locked Outdated issues that have been locked by automation skip news Does not need a NEWS file entry (eg: trivial changes) type: docs Documentation related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants