Update setup script, README, and .gitmodules with new organization name

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 69 forks source link

Update setup script, README, and .gitmodules with new organization name #80

Closed spmaniato closed 9 years ago

spmaniato commented 9 years ago

I think these are the only changes needed to reflect the new organization name, https://github.com/VerifiableRobotics

I tested the setup script and then run git submodule update --init successfully. Should be good to go.

spmaniato commented 9 years ago

@jimjing This is what the setup script set my user.email to:

{u'verified': True, u'email': u'myNetID@cornell.edu', u'primary': False}

jimjing commented 9 years ago

fixed in 3365df57fe48e8fc70cf076e9079f9c6bf47686

spmaniato commented 9 years ago

@jimjing Wait, reopen this :stuck_out_tongue_winking_eye: It's a pull request about updating the URLs after the Github organization renaming, not a bug report. Not sure why I made that comment here.