Skip to content

Document merge hint metrics#5556

Merged
shiftkey merged 2 commits intomasterfrom
merge-hint-metrics-docs
Sep 7, 2018
Merged

Document merge hint metrics#5556
shiftkey merged 2 commits intomasterfrom
merge-hint-metrics-docs

Conversation

@iAmWillShepherd
Copy link
Contributor

@iAmWillShepherd iAmWillShepherd commented Sep 6, 2018

Metrics added in #5550

@iAmWillShepherd
Add new metrics
5fa1ff0 
Metrics added in #5550
@shiftkey shiftkey mentioned this pull request Sep 6, 2018
Merged
3 tasks
@billygriffin
Copy link
Contributor

billygriffin commented Sep 6, 2018

🍏

@iAmWillShepherd iAmWillShepherd added the ready-for-review Pull Requests that are ready to be reviewed by the maintainers label Sep 6, 2018
@shiftkey shiftkey added this to the 1.4.0 milestone Sep 7, 2018
@shiftkey shiftkey self-assigned this Sep 7, 2018
@shiftkey shiftkey merged commit 82ba0e9 into master Sep 7, 2018
@shiftkey shiftkey deleted the merge-hint-metrics-docs branch September 7, 2018 13:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@shiftkey shiftkey shiftkey approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@shiftkey shiftkey

Labels

ready-for-review Pull Requests that are ready to be reviewed by the maintainers

Projects

None yet

Milestone

1.4.0

Development

Successfully merging this pull request may close these issues.

3 participants

@iAmWillShepherd @billygriffin @shiftkey