Skip to content
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

The very exact Henry Ford’s quote. #272

Closed
wants to merge 1 commit into from
Closed

Conversation

blfpd
Copy link

@blfpd blfpd commented May 29, 2018

No description provided.

@coveralls
Copy link

coveralls commented May 29, 2018

Pull Request Test Coverage Report for Build 427

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 96.024%

Totals Coverage Status
Change from base Build 426: 0.0%
Covered Lines: 2222
Relevant Lines: 2314

💛 - Coveralls

@ambv
Copy link
Collaborator

ambv commented May 29, 2018

Thanks for your contribution but we'll keep the existing wording :-)

@ambv ambv closed this May 29, 2018
@blfpd
Copy link
Author

blfpd commented May 29, 2018

I guess arguing here would be bikeshedding anyway 🙂

@blfpd
Copy link
Author

blfpd commented May 29, 2018

I just though some people in the #118 thread didn’t get the reference of this project name.

@jgirardet
Copy link
Contributor

I must say I didn't know this sentence and I now better understand @ambv's state of mind.
your PR wasn't useless for me ;-)

@ambv
Copy link
Collaborator

ambv commented May 29, 2018

Let's keep this as a not very well hidden Easter egg. It's more satisfying when people find out on their own ;-)

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.

4 participants