| The procedure for using Discord whenever there's a push from the github to the hugging face space: | |
| - Creating a new server | |
| - Server Settings -> Integrations -> Create Webhook | |
| - Copy Webhook URL | |
| - Go to Github Repository Settings | |
| - Choose Webhooks | |
| - Paste URL to Payload URL | |
| - Add /github to the end of URL | |
| - Click "Just the Push Events" | |
| - Add Webhook | |