3193: Move "SSH keys" and "API tokens" from notifications menu into settings gear...
authorradhika <radhika@curoverse.com>
Fri, 25 Jul 2014 15:13:29 +0000 (11:13 -0400)
committerradhika <radhika@curoverse.com>
Fri, 25 Jul 2014 15:13:29 +0000 (11:13 -0400)
commit490a1de3cdad334315b75687578217efb57cfaf6
tree109cf37bf7982c24a4ad78840a7eeaf4b16f586f
parent8722cd175d66ae707ba1ce2efa15b572678f545c
3193: Move "SSH keys" and "API tokens" from notifications menu into settings gear menu. These are now available only for admin users.
apps/workbench/app/views/layouts/application.html.erb
apps/workbench/app/views/users/_manage_repositories.html.erb
apps/workbench/app/views/users/_manage_ssh_keys.html.erb
apps/workbench/app/views/users/_manage_virtual_machines.html.erb