Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/3074
Yes, AFAIK, there's no way to connect delete branch and PR again. you need
to make a new PR. :-)---
Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/3074
Yes, AFAIK, there's no way to connect delete branch and PR again. you need
to make a new PR. :-)---