Avoid adding the same remote multiple times.
Don't retry on git exec error.
Made red buttons more red.
improved button style (no highlight if disabled)
Merge pull request #6 from J-d-H/button-style

improved button style