Issues / Pull requests on github
Posted: 12 Apr 2019, 13:05
Hi,
is the github repo planned to be used as an issue/pull request manager or is it better to post
stuff in the forum ?
Regards,
Jean-Marie
is the github repo planned to be used as an issue/pull request manager or is it better to post
stuff in the forum ?
Regards,
Jean-Marie