summaryrefslogtreecommitdiff
path: root/Assistant/DeleteRemote.hs
Commit message (Collapse)AuthorAge
* assistant: When built with git before 1.8.0, use `git remote rm` to delete a ↵Gravatar Joey Hess2013-04-22
| | | | remote. Newer git uses `git remote remove`.
* fix warningGravatar Joey Hess2013-04-04
|
* refactor alert button creation codeGravatar Joey Hess2013-04-04
|
* streamline deletion process and improve UIGravatar Joey Hess2013-04-03
|
* check for unused keys on an unwanted remote, and move them off, before ↵Gravatar Joey Hess2013-04-03
| | | | deleting it
* clean up urlrenderer handling when the webapp is not builtGravatar Joey Hess2013-04-03
|
* detect when unwanted remote is empty and remove itGravatar Joey Hess2013-04-03
Needs fixes to build when the webapp is disabled.