[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Monotone-devel] Monotone on Github?
From: |
Hendrik Boom |
Subject: |
Re: [Monotone-devel] Monotone on Github? |
Date: |
Sun, 15 Apr 2018 22:56:08 +0000 (UTC) |
User-agent: |
Pan/0.144 (Time is the enemy; 28ab3ba git.gnome.org/pan2) |
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] Monotone on Github?, grarpamp, 2018/04/10
- Re: [Monotone-devel] Monotone on Github?, Frédéric Praca, 2018/04/10
- Re: [Monotone-devel] Monotone on Github?, grarpamp, 2018/04/10
- Re: [Monotone-devel] Monotone on Github?, Markus Wanner, 2018/04/11
- Re: [Monotone-devel] Monotone on Github?, grarpamp, 2018/04/12
- Re: [Monotone-devel] Monotone on Github?, J Decker, 2018/04/12
- Re: [Monotone-devel] Monotone on Github?, Markus Wanner, 2018/04/12
- Re: [Monotone-devel] Monotone on Github?,
Hendrik Boom <=
- Re: [Monotone-devel] Monotone on Github?, Derek Scherger, 2018/04/28