-
Notifications
You must be signed in to change notification settings - Fork 98
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
Require c99 language support or newer #251
Conversation
Good point. I think we are shooting for C99 at minimum. |
yes, good idea. Thanks! |
@jonesmz Perhaps one point for the future: it would be strongly preferred At least |
@jonesmz Sorry, it must be some new misfeature of GitHub, I can observe |
Actually, it was due to the change of project settings. Web interface machinery for PR handling is overboard intrusive. |
Sorry, no, not interested in changing that setting. I actually have my "real" email set up for my git command line interface, but only because "jonesmz@randomcomputername" was silly. Now that I know github is auto-hiding it, I much prefer not revealing my personal email to the world perpetually. I get enough spam as it is. Contrasted against you ([email protected] , correct?), I am not paid to work on open source by my employer, so I have no incentive to continue participating perpetually. |
On 18/05/17 09:00 -0700, jonesmz wrote:
Sorry, no, not interested in changing that setting. I actually have
my "real" email set up for my git command line interface, but only
because ***@***.***" was silly.
Please accept my apologies once more, I had no clue what was
causing that utter-nonsense obfuscation in the git tree itself
originally (oh, the PR acceptance process for the project has changed
without warning), and I understand your concerns -- I am actually in
the same boat as you (if the web interface can hide the address, why
not, the "real thing" is the tree itself, right?) with privacy of
the email address (I don't mind the truth be captured in the tree,
though, better than GH proxy addressing for sure in my view).
I think the takeaway for us is, if we want to avoid merge commits at
any cost (I was told this was the main motivation, and yes, they are
not nice, but one can filter them out with `--no-merges` option to most
of the relevant git commands) is to do the old good manual fast-forward
merging as mentioned.
Thanks for your contribution (and bearing with me responding to the
changed rules of the game, ehich has nothing to do with the players
themselves).
…--
Jan (Poki)
|
Note also that gcc 5.4.0 and later default to the gnu11 version of the C11 standard.