Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
This comment has been minimized.
This comment has been minimized.Show comment Hide comment
Depending on what you want, I might agree or disagree with this completely:
I don't see any situation in which the first one may be used, but it's a reasonable thing to do.
If @zaphod1984 makes it clear exactly what (s)he wants and why, maybe the developers/contributors may discuss it.