Hi Clément,
That's awesome! Thanks a lot for this migration and for sharing the
detail of the steps you had to follow...
Will clone and test the repo right now.
Cheers,
Erik
Le lundi 21 septembre 2015 à 00:32 -0400, Clement Pit a écrit :
> Hi folks,
>
> Exciting news! Proof-General has just
Hi David,
Le vendredi 18 septembre 2015 à 10:54 +0100, David Aspinall a écrit :
> Hi Pierre/all,
>
> Sorry for delay replying, I was away then returned but now very busy
> with start of term...
>
> Have made a new Admin team now with you and Clément as members.
>
> BTW, a mapping of
Hi Erik,
> If you are thinking of adding a GitHub repo dedicated to the webpages
> sources, maybe it would be convenient to host the webpages themselves
> at GitHub too? Because according to https://pages.github.com/ and
> https://help.github.com/categories/github-pages-basics/ it would
> suffice
Hi David et al,
I'll do the migration of the CVS repo this week-end, then. Hopefully I don't
run into trouble.
Cheers,
Clément.
On 09/18/2015 05:54 AM, David Aspinall wrote:
> Hi Pierre/all,
>
> Sorry for delay replying, I was away then returned but now very busy
> with start of term...
>
>
Hi David list,
David: Have you had time to look at my attempt to migrate to git? My username
on github is cpitclaudel.
List: I had a quick look at options to migrate trac tickets to GitHub. There
seems to exist solutions, but nothing too robust. There hasn't been loads of
activity on trac in
Regarding the usernames, the accepted way to do this in git is to have a
.mailmap file, a la https://github.com/coq/coq/blob/trunk/.mailmap.
On Mon, Apr 20, 2015 at 3:49 PM, David Aspinall david.aspin...@ed.ac.uk
wrote:
Hello Clément, all,
This is a very timely message! I have indeed started
One more advantage of moving to MELPA as our distribution system is that we can
register mmm as a dependency, instead of packaging it ourselves.
On 04/20/2015 03:49 PM, David Aspinall wrote:
Hello Clément, all,
This is a very timely message! I have indeed started to think of making this