10000 Where to report bugs - addition of SOFA's E-mail address to README.rst by jwoillez · Pull Request #31 · liberfa/erfa · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Where to report bugs - addition of SOFA's E-mail address to README.rst #31

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

Closed
wants to merge 4 commits into from

Conversation

jwoillez
Copy link
Contributor
@jwoillez jwoillez commented Feb 2, 2016

As mentioned in #29, and to be merged after #30.

@jwoillez jwoillez force-pushed the sofa-bug-report-contact branch from 2716212 to 7b92c2d Compare February 3, 2016 08:19
eteq added a commit that referenced this pull request Feb 3, 2016
adds SOFA's E-mail address to README.rst

Rebased on master before merging
@eteq
Copy link
Member
eteq commented Feb 3, 2016

I merged this manually in a71e72a, so closing this.

Not a big deal, but, @jwoillez, in the future if a situation like this this comes up it would have been better to just have a PR with only the final commit here. It's independent of the other changes, and it keeps the git history cleaner to keep those separate. That's what I ended up merging anyway, but had to do it manually.

@eteq eteq closed this Feb 3, 2016
@jwoillez
Copy link
Contributor Author
jwoillez commented Feb 3, 2016

Oh well. I thought it would make your life easier with the second PR rebased on what master would become.

@eteq
Copy link
Member
eteq commented Feb 3, 2016

@jwoillez - definitely a reasonable thought! It's mostly just because of how github shows diffs that this is slightly inconvenient. Really not a big deal but thought I would mention it.

@jwoillez jwoillez deleted the sofa-bug-report-contact branch February 12, 2016 10:33
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
0