Hi Patrick,
Patrick CARDONA wrote:
- Did you incorporate the patches from Debian Team or are those
specific to this platform?
Depends on which patches you are referring to, some work gas been
incorporated into GAP already, if not it can be analyzed and
incorporated, but has nothing to do with github.
If you were already checking out SVN sources, you don't gain anything
new, except if you prefer using "git pull" to "svn update"
- If I understand well, the only difference between Savannah and this
Github repo is the 12 hours delay?
So it should be, finally! I just checked and the commits I did in
HelpViewer and they flowed in correctly. Good work, Greg.
- If people have an issue or a PR, could they use the Github repo to
post it?
Work is stil done on savannah, so bug and patches better reported there.
I don't think it is a bi-directional mirror, but Gregory may answer
there. It would be dangerous. However it is convenient for many to be
able to check-out updated sources
Riccardo
PS: try HelpViewer... did quite a lot of work this week on it, didn't
announce it yet. If you want to discover yourself, try. It is synced to
github!
