CampusAI / CampusAI.github.io

DeepRL content website:
https://campusai.github.io/
2 stars 1 forks source link

Remove all branches created from staticman #23

Closed fedetask closed 4 years ago

fedetask commented 4 years ago

If moderation is on, staticman creates a branch and makes a pull request with the comments. We need to remember to delete the branch after merging the pull request, or find an automatic way of doing it

fedetask commented 4 years ago

Done, closing