Re: [Texmacs-dev] What is the status of the Gitorious mirror?

[Karl Hegbloom]

P.S. I want to make a package manager for TeXmacs plugins and styles that uses git under the hood. I think it should be possible to associate a document with a particular version of a style or add-on, so old documents don't break, or a way to bundle the styles into a document for archiving. 

On Wed, Nov 30, 2016, 09:54 Karl Hegbloom <address@hidden> wrote:

Perhaps the TeXmacs project could set up a group on github, and mirror there? Or... does Savannah have git?

On Wed, Nov 30, 2016, 04:29 Jeremy Henty <address@hidden> wrote:

Karl,

Many thanks for your detailed reply.   I am building from a subversion
checkout at the moment  but I have saved your message  for when I want
to switch to git to hack on the code.

Regarding the  TeXmacs website,  perhaps it  should not  advertise the
Gitorious repository at  https://gitorious.org/texmacs/texmacs , since
it is not up to date?  Just a thought.

Regards,

Jeremy Henty

_______________________________________________
Texmacs-dev mailing list
address@hidden
https://lists.gnu.org/mailman/listinfo/texmacs-dev