Skip to content

Conversation

@adegeo
Copy link
Contributor

@adegeo adegeo commented Oct 12, 2020

Fix branch mapping for docs->github comments

Copy link
Member

@BillWagner BillWagner left a comment

Choose a reason for hiding this comment

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

This LGTM @adegeo

You can :shipit: when ready.

@adegeo adegeo merged commit 77c1d2e into master Oct 12, 2020
@adegeo adegeo deleted the adegeo-change-branch branch October 12, 2020 20:58
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.

2 participants