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 >> whoever / whatever might come along. > > There's tools to automate that. Doing it by hand certainly isn't worth > the trouble.
What tools are there? -- hendrik _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/monotone-devel