[PD-dev] Thoughts on git & github workflows

IOhannes m zmoelnig zmoelnig at iem.at
Wed Sep 12 09:33:23 CEST 2018


On 2018-09-12 04:54, Chris McCormick wrote:
> On 11/09/18 20:55, IOhannes m zmoelnig wrote:
>> personally, i always do a local investigation of PRs before merging them
> For those who find the presence of GitHub's green "merge" button to be a
> deeply offensive abomination[1], there is this userscript (which you can
> install with Tampermonkey or similar) for hiding it automatically:

rofl.

gasmdr
IOhannes

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.puredata.info/pipermail/pd-dev/attachments/20180912/3273d207/attachment.sig>


More information about the Pd-dev mailing list