[PD-dev] closing GItHub PRs

Alexandre Torres Porres porres at gmail.com
Thu Jun 29 05:45:03 CEST 2017


2017-06-28 6:25 GMT-03:00 IOhannes m zmölnig <zmoelnig at iem.at>:

> i'd suggest to create a new *issue* about removing the object, and close
>
the pull-request.
>
> you can *then* create a new PR that removes the object and closes your
> ticket.
>

that is exactly what I meant
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.puredata.info/pipermail/pd-dev/attachments/20170629/7ab5198a/attachment.html>


More information about the Pd-dev mailing list