IMPORTANT: Git Repo Change

Damian Maguire <DMaguire@...>

Afternoon all,


In an effort to clean-up the OpenMAMA git repository, we’ve decided to move away from the existing OpenMAMA-1.1.git repo towards one with a less confusing name. As such, we’ve created a new repository at, which is aimed as being the primary repo for future OpenMAMA development. At present this is an exact copy of the current git repo, but over the next few weeks we will stop updating the OpenMAMA-1.1 version and the repository there will become deprecated.


As such we recommend all users of OpenMAMA update their local repository to point to the new site. For standard git checkouts this should be a case of making a simple change to your remote configuration:


$ git remote set-url origin


You can then verify that your configuration has been correctly updated by running:


$ git remote –v

origin (fetch)

origin (push)


As always, if you have any questions feel free to respond on the lists, or to give us a shout on IRC.





Please consider the environment before printing this email.

Visit our website at
Note: The information contained in this message and any attachment to it is privileged, confidential and protected from disclosure. If the reader of this message is not the intended recipient, or an employee or agent responsible for delivering this message to the intended recipient, you are hereby notified that any dissemination, distribution or copying of this communication is strictly prohibited. If you have received this communication in error, please notify the sender immediately by replying to the message, and please delete it from your system. Thank you. NYSE Euronext.