fix broken watchers dropdown in repo_info
    
    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