3 ms·

Another productive idea: allow github repos to come without "pull request" button - that's the one feature that can't be disabled, but for various projects that

by pgeorgi 12y ago

Another productive idea: allow github repos to come without "pull request" button - that's the one feature that can't be disabled, but for various projects that would be exactly the right thing to do: the "it might be useful to others, but for me it's done" projects just like those using github as mirror (because people desperately need the fork button). But it doesn't make immediate business sense: projects not using pull requests don't buy into the platform. Amazing enough that the bug tracker can be turned off...

sytse 12y ago
GitLab B.V. CEO here, on GitLab you can turn off merge requests per project (and issues as well of course).
- matthuggins 12y ago
  But GitLab isn't Github.
- pgeorgi 12y ago
  People want GitHub. coreboot uses gerrit, which isn't good enough for people[tm], and thus we mirror to github. I use gitlab for my personal hosting needs, and I'm happy enough with it that I use it, even though there would be more lightweight options (gogs, gitblit).
memset 12y ago
What would it sound like if the remedies to this took the form of "perhaps I could..." rather than "X person should..."? What's the real problem we're trying to solve? Getting PRs merged or automating our build process or setting expectations or what?
- pgeorgi 12y ago
  The "perhaps I could" option in this case is to drop the github mirrors I maintain. Luckily, those projects aren't among those plagued with pull requests they never intended to follow up on (but couldn't avoid because that frickin' button can't be disabled), but that's certainly the solution I'd take. Not sure if anybody is happier with that.