Open trz42 opened 2 years ago
The bot uses the command curl to fetch a patch file from GitHub. Should we remove that dependency?
curl
Running the curl command can probably be replaced by using requests.get, see also https://365datascience.com/tutorials/python-tutorials/python-requests-package/
requests.get
The bot uses the command
curl
to fetch a patch file from GitHub. Should we remove that dependency?