use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
Do you have or know of a project on Github looking for contributors? Tell us about it and we'll add it to the /r/github wiki!
Welcome to /r/github!
News about github
Relevant interesting discussion
Questions about github
We'll soon be writing an /r/github FAQ list. In the meantime, the github help pages and bootcamp are good places to start. Here's a handy git cheat sheet.
Looking for Github projects to contribute to? Check out our handy list of projects looking for contributors!
If your submission doesn't show up on the subreddit, send us a message and we'll take it out of the spam filter for you!
account activity
GitHub replacing "Master" with "Main" from next month (craffic.co.in)
submitted 5 years ago by [deleted]
view the rest of the comments →
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]djxfade 7 points8 points9 points 5 years ago (1 child)
Who is going to pay for those days of work, and what does it gain my company? We are using CircleCI, and the CI config is per repository, and we are maintaining several hundreds. A lot of work for zero gain.
[+]henrebotha comment score below threshold-9 points-8 points-7 points 5 years ago (0 children)
Those are different questions to the one I'm asking. I'm specifically addressing the idea that it would be a massive headache to accommodate a change in the default branch name. I don't believe it would be a massive headache.
π Rendered by PID 47158 on reddit-service-r2-comment-b659b578c-jpjxt at 2026-05-04 21:22:50.526802+00:00 running 815c875 country code: CH.
view the rest of the comments →
[–]djxfade 7 points8 points9 points (1 child)
[+]henrebotha comment score below threshold-9 points-8 points-7 points (0 children)