3 ms·

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, which I believe are at least in part due to GitHub aggr

by SoKamil 11mo ago

> As a bonus, we look forward to fewer violations (exhibit A, B, C) of our strict no LLM / no AI policy, which I believe are at least in part due to GitHub aggressively pushing the “file an issue with Copilot” feature in everyone’s face. Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Any non-mainstream platform is not as compelling to get social credits.

manquer 11mo ago
Issues and Pull requests are only optional features . Open source projects could always use GitHub as just git host/mirror like how torvalds/linux is setup .
- mlugg 11mo ago
  PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is one of many properties which make it quite difficult to migrate away from the platform.
  - 8organicbits 11mo ago
    Yikes, the PRs on the Linux repo are quite terrible. At least there's a bot to auto-reply with the correct procedure. https://github.com/torvalds/linux/pull/1370 https://github.com/torvalds/linux/pull/1370
  - jamesnorden 11mo ago
    There's technically a way[1], but you'd have to do it every 6 months which is not great. https://docs.github.com/en/communities/moderating-comments-and-conversations/limiting-interactions-in-your-repository https://docs.github.com/en/communities/moderating-comments-a...
    - mlugg 11mo ago
      Yeah, that's actually what we've done on the Zig GitHub repository. However, it doesn't stop pushes to existing PRs, which isn't ideal; and, yes, it's quite hard to escape the conclusion that there being no "until I turn it back on" option is intentional.
      - ACCount37 11mo ago
        It's completely intentional, and goes back to when GitHub was founded. GitHub was intended as a collaborative software development platform, not "look but don't touch".
        noname120 11mo ago
        I suppose you can fork a repository if you want to collaborate with others though. Reviewing pull requests and engaging with a community is a lot of work and has possible legal ramifications; in many cases it’s faster to just do things yourself. Some teams/companies deliberately refuse outside contributions for this reason.
      - noname120 11mo ago
        You can close them and limit discussion to contributors I guess? Not ideal but at least they wouldn’t appear in the pull requests tab. Alternatively you can use a bot or a GitHub Action to automatically change the description and title of the pull request to something like “[PRs are not allowed and deleted automatically]”. But yeah not a perfect solution either…
  - chillfox 11mo ago
    I guess you could make a bot that closes any opened PR with a message that PRs are not accepted on Github and a link to the contribution docs.
- p-e-w 11mo ago
  Pull requests are not optional on GitHub. Users have been begging for more than a decade for an option to disable pull request for a repository, and GitHub continues to ignore them.
  - manquer 11mo ago
    As another poster noted, you can disable it by limiting all interactions (6 months at a time). It is not ideal, but it does work to for PRs. You should also close all current PRs when you do that so users cannot push to those branches as well.
- dragonwriter 11mo ago
  PRs aren't an optional feature, though acting on PRs is obviously optional; nothing prevents you from ignoring or (even automatically) closing all PRs from anyone who is not on a list of approved contributors.
- baranul 10mo ago
  This situation has a strong scam smell. Zig has many thousands of open issues on GitHub (nearly 3,500 issues) that appears ripe to get mostly ignored, closed without resolution, or plain disappear from public view. As pointed out, it is correct to shine a light on and review the situation of issues at Zig's GitHub. The issues for this language are particularly and unlikely to be followed up on or re-posted at Codeberg. Deceptions or smoke screen claims, can trick the public and sponsors or create false impressions about how far away Zig is (after 9 plus years) from actually being production ready and reaching 1.0.
technion 11mo ago
Not long back we were all urged to take CODE_OF_CONDUCT.md seriously. I've arrived at a place where the next thing I open source will include such a file which discusses not sending slop to the repository.
lII1lIlI11ll 11mo ago
> Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Do people really get hired for bunch of PRs to random repos on GH or just think they will? My impression has always been that GH profile is completely ignored by both recruiters and interviewers.
- brodo 11mo ago
  And this kind of behaviour is a red flag for people who actually go digging through the GitHub profile. Like techical people in the last stages of a hiring process.
  - throw10920 11mo ago
    Is this aspirational or anecdotal, or is this what technical people in FANNG/tech actually do? I hope it's true but it strikes me as the kind of thing that most technical people involved in the interview process would be too tired/overworked to do.
    - giancarlostoro 11mo ago
      Nobody ever has brought up my GitHub though I did use my private GitLab projects to land my first dev job.
    - SoftTalker 11mo ago
      I agree. As a technical person who has been involved in hiring, I never looked at github. My evaluation of a candidate was based on how he/she answered questions in the interview, and my general sense of "could I work with this person every day." I had no spare time to go beyond that.
      - hobofan 11mo ago
        > "could I work with this person every day." Communication skills (or lack thereof) on PRs or issues they opened is something I try to look for if they provide a Github profile. Signs of a big ego that will likely get in the way of day-to-day work is the main thing I look out for and it's sadly not that uncommon.
port11 11mo ago
When the metrics becomes a target, ladida. GitHub profiles are utterly meaningless to me, speaking as someone that was hiring folks in 2023–4. Perhaps we need an app to keep track of bad job candidates. We can gossip about them and such. I mean, we did that for an entire gender (sex?), let's go make a unicorn.

by SoKamil 11mo ago

manquer 11mo ago

Issues and Pull requests are only optional features . Open source projects could always use GitHub as just git host/mirror like how torvalds/linux is setup .

mlugg 11mo ago
PRs are not optional: there is no way to disable them on GitHub. I can't be sure that this is intentional, but it certainly works out well for them that this is one of many properties which make it quite difficult to migrate away from the platform.
- 8organicbits 11mo ago
  Yikes, the PRs on the Linux repo are quite terrible. At least there's a bot to auto-reply with the correct procedure. https://github.com/torvalds/linux/pull/1370 https://github.com/torvalds/linux/pull/1370
- jamesnorden 11mo ago
  There's technically a way[1], but you'd have to do it every 6 months which is not great. https://docs.github.com/en/communities/moderating-comments-and-conversations/limiting-interactions-in-your-repository https://docs.github.com/en/communities/moderating-comments-a...
  - mlugg 11mo ago
    Yeah, that's actually what we've done on the Zig GitHub repository. However, it doesn't stop pushes to existing PRs, which isn't ideal; and, yes, it's quite hard to escape the conclusion that there being no "until I turn it back on" option is intentional.
    - ACCount37 11mo ago
      It's completely intentional, and goes back to when GitHub was founded. GitHub was intended as a collaborative software development platform, not "look but don't touch".
      - noname120 11mo ago
        I suppose you can fork a repository if you want to collaborate with others though. Reviewing pull requests and engaging with a community is a lot of work and has possible legal ramifications; in many cases it’s faster to just do things yourself. Some teams/companies deliberately refuse outside contributions for this reason.
    - noname120 11mo ago
      You can close them and limit discussion to contributors I guess? Not ideal but at least they wouldn’t appear in the pull requests tab. Alternatively you can use a bot or a GitHub Action to automatically change the description and title of the pull request to something like “[PRs are not allowed and deleted automatically]”. But yeah not a perfect solution either…
- chillfox 11mo ago
  I guess you could make a bot that closes any opened PR with a message that PRs are not accepted on Github and a link to the contribution docs.
p-e-w 11mo ago
Pull requests are not optional on GitHub. Users have been begging for more than a decade for an option to disable pull request for a repository, and GitHub continues to ignore them.
- manquer 11mo ago
  As another poster noted, you can disable it by limiting all interactions (6 months at a time). It is not ideal, but it does work to for PRs. You should also close all current PRs when you do that so users cannot push to those branches as well.
dragonwriter 11mo ago
PRs aren't an optional feature, though acting on PRs is obviously optional; nothing prevents you from ignoring or (even automatically) closing all PRs from anyone who is not on a list of approved contributors.
baranul 10mo ago
This situation has a strong scam smell. Zig has many thousands of open issues on GitHub (nearly 3,500 issues) that appears ripe to get mostly ignored, closed without resolution, or plain disappear from public view. As pointed out, it is correct to shine a light on and review the situation of issues at Zig's GitHub. The issues for this language are particularly and unlikely to be followed up on or re-posted at Codeberg. Deceptions or smoke screen claims, can trick the public and sponsors or create false impressions about how far away Zig is (after 9 plus years) from actually being production ready and reaching 1.0.

technion 11mo ago

Not long back we were all urged to take CODE_OF_CONDUCT.md seriously. I've arrived at a place where the next thing I open source will include such a file which discusses not sending slop to the repository.

lII1lIlI11ll 11mo ago

> Also, the big part of that issue is people are incentivized to make their GitHub profile look good to have a higher chance of getting hired. Do people really get hired for bunch of PRs to random repos on GH or just think they will? My impression has always been that GH profile is completely ignored by both recruiters and interviewers.

brodo 11mo ago
And this kind of behaviour is a red flag for people who actually go digging through the GitHub profile. Like techical people in the last stages of a hiring process.
- throw10920 11mo ago
  Is this aspirational or anecdotal, or is this what technical people in FANNG/tech actually do? I hope it's true but it strikes me as the kind of thing that most technical people involved in the interview process would be too tired/overworked to do.
  - giancarlostoro 11mo ago
    Nobody ever has brought up my GitHub though I did use my private GitLab projects to land my first dev job.
  - SoftTalker 11mo ago
    I agree. As a technical person who has been involved in hiring, I never looked at github. My evaluation of a candidate was based on how he/she answered questions in the interview, and my general sense of "could I work with this person every day." I had no spare time to go beyond that.
    - hobofan 11mo ago
      > "could I work with this person every day." Communication skills (or lack thereof) on PRs or issues they opened is something I try to look for if they provide a Github profile. Signs of a big ego that will likely get in the way of day-to-day work is the main thing I look out for and it's sadly not that uncommon.

port11 11mo ago

When the metrics becomes a target, ladida. GitHub profiles are utterly meaningless to me, speaking as someone that was hiring folks in 2023–4. Perhaps we need an app to keep track of bad job candidates. We can gossip about them and such. I mean, we did that for an entire gender (sex?), let's go make a unicorn.