transfer the Panta repository to KWARC group

[kohlhase]

Mihai,

I would like you to transfer this repository to the KWARC group, so that we can develop it further. I have hired a new student (Alin Teodorescu) as your successor.

Thanks for all your work on the system, and I hope you are doing well.

[m-iancu]

I moved the repository to https://github.com/KWARC/panta, but we still need to transfer the issues. Maybe https://github.com/IQAndreas/github-issues-import can help

[kohlhase]

Thanks a lot.

Michael

On 28/09/15 13:24, m-iancu wrote:

I moved the repository to https://github.com/KWARC/panta, but we still need to transfer the issues.

— Reply to this email directly or view it on GitHub https://github.com/fierarufmihai/planetary_panta/issues/41#issuecomment-143717265.

---

Prof. Dr. Michael Kohlhase, Office: Research 1, Room 168 Professor of Computer Science Campus Ring 1, Jacobs University Bremen D-28759 Bremen, Germany tel/fax: +49 421 200-3140/-493140 skype: m.kohlhase

m.kohlhase@jacobs-university.de http://kwarc.info/kohlhase

[m-iancu]

Update: Thanks to @fierarufmihai we transfered the repo entirelly (with issues). It's now at https://github.com/KWARC/planetary_panta.

[kohlhase]

Wonderful, @fierarufmihai thanks.