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