search

Opensource-IIITH / Discord-CAS

Tool for user verification via CAS on Discord servers.
20 stars 24 forks source link

GitHub action to restart portal+bot per commit #7

Closed GaurangTandon closed 3 years ago

GaurangTandon commented 3 years ago

It will pull code into repo and restart the portal.

Groverkss commented 3 years ago

Done by: https://github.com/Groverkss/Discord-CAS/commit/2fbb1366a582ea56e85535867b92bd990ea0f9eb

GaurangTandon commented 3 years ago

You can put fixes #7 in the commit message to auto-close the issue