Don't update pr description if persistentLink=false?
skirpichev opened this issue · comments
That seems useless: the url will be same.
GitHub action to comment on pull requests with a link to launch the PR on https://mybinder.org
skirpichev opened this issue · comments
That seems useless: the url will be same.