search

termite2 / Termite

The Termite driver synthesis tool
30 stars 7 forks source link

Use https URLs in .gitmodules #11

Closed davidcock closed 9 years ago

davidcock commented 9 years ago

Hi guys, I'm setting up a build script for this internally, and it'd be really useful if I didn't need to link my github account to it.

Dave

adamwalker commented 9 years ago

I think that this will have the unfortunate side effect of not using SSH and requiring you to enter your github password every time you push to the submodule, as suggested here:

https://help.github.com/articles/changing-a-remote-s-url/

We can manually add remotes to our local copies to work around this.

Also, Dave, the author of the commit in your repo is "bob@ghcbuild". You can change it to be you if you want before I merge it.

davidcock commented 9 years ago

No need to merge that commit. Feel free to just redo it, it only changes the source addresses.

davidcock commented 9 years ago

I've put in a pull request for this now.

adamwalker commented 9 years ago

I merged the commit