News for hackers. Stuff that matters.
Re:Take Gitlab to the command line with GLab, an open-source... by jolmg on Thursday August 06, 2020 @08:04PM (#24076678)
That's the first I've read of `push -o`. Does GitHub have push options like that as well?
Re:Take Gitlab to the command line with GLab, an open-source... by mdaniel on Thursday August 06, 2020 @09:53PM (#24077246)
That's the first I ever heard of it, either, and was unable to find out if those options are exposed more generally to the CI pipeline (so can I make my own "-o" toys?)

I don't recall ever hearing of any such thing in GitHub, and their help search is so atrocious I don't know that I'd be able to find the answer even now. That said, I can't imagine that kind of customization fits into GitHub's mental model, which goes double given that they just recently even _developed_ a CI system to which one could send those options