Skip to content
This repository has been archived by the owner on Dec 11, 2019. It is now read-only.

lowercase head for contributing docs #5122

Closed
jkup opened this issue Oct 25, 2016 · 0 comments · Fixed by #5123
Closed

lowercase head for contributing docs #5122

jkup opened this issue Oct 25, 2016 · 0 comments · Fixed by #5123
Assignees
@jkup
Labels
documentation ✍ QA/no-qa-needed
Milestone
0.12.7dev

Comments

@jkup
Copy link
Contributor

jkup commented Oct 25, 2016

git doesn't recognize capitalized HEAD for checking our a pull request.
@jkup jkup added this to the 0.12.7dev milestone Oct 25, 2016
@jkup jkup self-assigned this Oct 25, 2016
@jkup jkup mentioned this issue Oct 25, 2016
Merged
4 tasks
This was referenced Oct 26, 2016
Closed
Closed
Closed
@luixxiul luixxiul mentioned this issue Oct 26, 2016
Closed
This was referenced Oct 27, 2016
Closed
Closed
Closed
Closed
This was referenced Oct 28, 2016
Closed
Closed
Closed
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jkup jkup

Labels
documentation ✍ QA/no-qa-needed
Projects
None yet
Milestone
0.12.7dev
Development

Successfully merging a pull request may close this issue.

lowercase head for contributing docs brave/browser-laptop
2 participants
@jkup @alexwykoff