There was some old, unused JS in repo_info that was broken, and was causing the watch dropdown to not work anymore.
This removes that JS, and the watch dropdown should work again.
fixes #3444
Works fine for me here, let's rebase and see what jenkins says :)
rebased onto b29ac454fee567e9b149c3147e94d539b0dc5b2f
Pull-Request has been merged by pingou
There was some old, unused JS in repo_info that was broken,
and was causing the watch dropdown to not work anymore.
This removes that JS, and the watch dropdown should work again.
fixes #3444