aries-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Christian Schneider <>
Subject [HEADS UP] Aries sources now on git
Date Thu, 14 Mar 2019 21:44:00 GMT
The main Aries sources are now migrated from svn to git. (See

This means all committers can now directly work using the github repo
You should be able to directly merge pull requests done on github.

A small downside is that working with github requires to enable two factor

I found that the conversion screwed the existing pull requests. So please
recreate or rebase existing pull requests.



Christian Schneider

Computer Scientist

  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message