sympy / sympy-bot

GitHub bot for SymPy

Home Page:https://github.com/sympy-bot

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add automatic Binder deployment for commits

naveensaigit opened this issue · comments

I think it would be good if we can have the sympy-bot comment launch binder links for each commit in a PR. This would make the job of reviewers quite easy as any changes can be tested instantly without cloning the branch. See this for a working example.

If we want to do that I think we should just use the GitHub action https://github.com/manics/action-binderbadge. Otherwise we would have to reimplement it in the SymPy bot.

If we want to do that I think we should just use the GitHub action https://github.com/manics/action-binderbadge. Otherwise we would have to reimplement it in the SymPy bot.

Yeah, I think we can use it.