Re: [Monotone-devel] Monotone on Github?

2018-05-09 Thread Lapo Luchini
Derek Scherger wrote: > I have a slightly older export here as > well https://github.com/dscherger/monotone but I'm not keeping it up to > date. > >> both have been exported via the git export feature. The problem with >> that is: incremental updates are not supported. > > I'm not entirely

Re: [Monotone-devel] Monotone on Github?

2018-04-28 Thread Derek Scherger
I have a slightly older export here as well https://github.com/dscherger/monotone but I'm not keeping it up to date. both have been exported via the git export feature. The problem with > that is: incremental updates are not supported. > I'm not entirely sure this is true, I haven't looked at

Re: [Monotone-devel] Monotone on Github?

2018-04-15 Thread Hendrik Boom
On Thu, 12 Apr 2018 14:36:20 +0200, Markus Wanner wrote: > On 04/12/2018 07:19 AM, grarpamp wrote: >> Maybe that calls for iterative local checkout, generating diffs, >> checking those into github. Haven't looked into it, >> just didn't see much that looked officialish / current on github for >>

Re: [Monotone-devel] Monotone on Github?

2018-04-11 Thread J Decker
Just a reminder; it is possible to do a shallow checkout from git and only get the last layer... Probably no help. git clone --depth=1 On Wed, Apr 11, 2018 at 10:19 PM, grarpamp wrote: > Maybe that calls for iterative local checkout, generating > diffs, checking those into

Re: [Monotone-devel] Monotone on Github?

2018-04-11 Thread grarpamp
Maybe that calls for iterative local checkout, generating diffs, checking those into github. Haven't looked into it, just didn't see much that looked officialish / current on github for whoever / whatever might come along. ___ Monotone-devel mailing

Re: [Monotone-devel] Monotone on Github?

2018-04-11 Thread Markus Wanner
Hi, On 04/10/2018 09:17 AM, grarpamp wrote: > Not really thinking of non self hosting. > Just a simple commit mirror with project page pointing to > wherever is authoritative, github ticketing need not be enabled. I somewhat recently published an export here: https://github.com/mwanner/monotone

Re: [Monotone-devel] Monotone on Github?

2018-04-10 Thread Frédéric Praca
In the past, monotone had an export to Git but I don't know its current status nor if it would fit the need. - Mail original - De: "Hendrik Boom" <hend...@topoi.pooq.com> À: monotone-devel@nongnu.org Envoyé: Mardi 10 Avril 2018 14:02:45 Objet: Re: [Monotone-devel] Mo

Re: [Monotone-devel] Monotone on Github?

2018-04-10 Thread Hendrik Boom
onto github? -- hendrik ___ Monotone-devel mailing list Monotone-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/monotone-devel

Re: [Monotone-devel] Monotone on Github?

2018-04-10 Thread grarpamp
Not really thinking of non self hosting. Just a simple commit mirror with project page pointing to wherever is authoritative, github ticketing need not be enabled. Mostly to satisfy searches made on github, let people play readonly with it via local git clones till they get serious and go mtn,

Re: [Monotone-devel] Monotone on Github?

2018-04-10 Thread Frédéric Praca
of Linus personality. - Mail original - De: "grarpamp" <grarp...@gmail.com> À: Monotone-devel@nongnu.org Envoyé: Mardi 10 Avril 2018 07:42:27 Objet: [Monotone-devel] Monotone on Github? Is monotone mirrored onto github? It is the exposure that c

[Monotone-devel] Monotone on Github?

2018-04-09 Thread grarpamp
Is monotone mirrored onto github? It is the exposure that can be of benefit. ___ Monotone-devel mailing list Monotone-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/monotone-devel