[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