New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
pull-request command cannot find email settings #625
Comments
Would you like to submit a pull request to fix this behavior? |
Well, shoot, now I can't replicate the Would there be an objection to using EMAIL as a fallback if |
@jldugger It doesn't strike me as bad to do that, but I don't think that ever should be necessary. Commit'ing requires email to be set, so that's something a user of |
@nicolaiskogheim actually, git does fall back to EMAIL. It's explicitly mentioned in the git-commit-tree manpage I quoted above. My purpose here is unify configurations between personal and work computers, and use env variables to manage role dependent settings like EMAIL. This strategy is already working for git itself, but surprisingly not for git-pull-request. It's a pretty simple fix, but I'm not going to bother submitting a PR if maintainers are actively against it. |
Then we shall do the same. I apologise. I skimmed this thread and didn't even see that you quoted I don't know why you were so quick to assume that anyone in here are opposed to doing things like |
Change merged, so closing issue. |
The man page git-commit-tree outlines how user.email is set:
I'm using EMAIL=jldugger@osuosl.org, and git config recognizes this:
However, pull-request does not:
The text was updated successfully, but these errors were encountered: