Actions
Task #5480
closedFeature #4253: [API] Users can create their own arvados-hosted git repositories
Update Workbench repository management UI
Start date:
03/17/2015
Due date:
% Done:
0%
Estimated time:
Description
- On manage account page (at least for now)
- Add new repository -> dialog box (or inline, if easier)
- Show note that repositories cannot be renamed
- Show note that it will take a minute or two before "git clone" will work (aside/future: can Workbench get feedback from the git system somehow so it can say "pending" on new repos?)
Actions