#1 2016-08-29 08:27:06

hnb
Member
Registered: 2015-06-15
Posts: 290

Fossil or GitHub only?

Hi!

Fossil makes me crazy. Can I use github only for contribution purposes (via pull request)? Should I update manually SynopseCommit.inc?


best regards,
Maciej Izak

Offline

#2 2016-08-29 10:30:59

ab
Administrator
From: France
Registered: 2010-06-21
Posts: 14,700
Website

Re: Fossil or GitHub only?

Yes, GitHub is fine, if you prefer to.
I will update the commit.inc file on my side.

Offline

#3 2016-08-29 11:24:05

hnb
Member
Registered: 2015-06-15
Posts: 290

Re: Fossil or GitHub only?

Thanks for info. New pull request ready : ), much better way for me.


best regards,
Maciej Izak

Offline

#4 2016-08-29 14:51:53

mpv
Member
From: Ukraine
Registered: 2012-03-24
Posts: 1,571
Website

Re: Fossil or GitHub only?

Hmm... AB - it will broke the current SourceCodeRep.exe flow.  Or you apply a pull request to fossil first?

Offline

#5 2016-08-29 14:56:56

ab
Administrator
From: France
Registered: 2010-06-21
Posts: 14,700
Website

Re: Fossil or GitHub only?

I did a manual merge.

Offline

#6 2016-08-29 15:32:15

mpv
Member
From: Ukraine
Registered: 2012-03-24
Posts: 1,571
Website

Re: Fossil or GitHub only?

When the number of contributors will increase manual merge will do more and more difficult. Perhaps we should go back to the idea of a single repository (git). In fact we can even host a mORMot site on github using github pages.
P.S.
I love fossil, but it is not widely used sad

Offline

#7 2016-08-29 15:35:19

ab
Administrator
From: France
Registered: 2010-06-21
Posts: 14,700
Website

Re: Fossil or GitHub only?

Small contributions need manual merge, since they are very likely to be not correct, from my experiment.

Offline

Board footer

Powered by FluxBB