Please see – this contains all the 
changes I believe are needed to execute this changeover. If anyone is not in 
the GitHub PDLPorters organisation and ought to be, now is the time to speak up!

Best regards,

From: Chris Marshall<>
Sent: Sunday, March 25, 2018 5:41 PM
To: Ed .<> ;<>
Subject: Re: [Pdl-devel] unstable SF git servers and github mirroring


Sorry to be slow getting back here.  Ed, thanks for
volunteering to take lead for PDL on github and the
transition from for development/issues/...

The only things I think need to be added is to
update the PDL web page(s) to reference and
announce the changes.  Once github is hosting
the development, it would make sense to move
http:/ to there as well.

Thanks everyone!

On 3/9/2018 18:15, Ed . wrote:
I will volunteer to take the lead on maintaining things on GitHub. I think we 
are exceedingly close to being fine there anyway – Chris, what issues do you 
see that would need dealing with?

I see the required activity as something like this:

  *   ensure all the people who should have push access are on GH and are in 
the PDLPorters organisation
  *   ensure all SF issues are present as GH issues
  *   announce say a week in advance we will be switching the repo location
  *   CODE FREEZE as releases are going to be happening
  *   at the same time, dev-release new version with the updated: repo 
location, bugtracker location
  *   after that week, proper-release that version
  *   quick final check that GH and SF repos are in sync
  *   turn off Christian’s script – no more error emails!

Can anyone see things I missed or got wrong there?


From: Christian Walde<>
Sent: Tuesday, March 06, 2018 5:56 PM
To:<> ; 
Chris Marshall<>
Subject: Re: [Pdl-devel] unstable SF git servers and github mirroring

I'm happy to hear that. I'll keep things running for however long you need, 
just please let me know when i can shut the scripts down. :)

With regards,
Christian Walde
On Sun, 04 Mar 2018 20:53:01 +0100, Chris Marshall wrote:

Christian and all-

I'm fine with moving development and issues
to github if someone wants to take the lead
to maintain things on github.

We should do a quick release to point at
the new locations and maybe include a few
fixes in the hopper.  I'm not sure that
all the bugs are on github at
the moment.

In the meantime, I/we can update the
information to mention/refer to github instead...


On 3/4/2018 10:21, Ed . wrote:
Can someone help me understand what the benefit of staying on Sourceforge at 
all is? The only thing we’re using there is the mailing list and we can still 
use that. As far as I know all the issues got copied over by Zaki.

I suggest this:
* everybody switch to push to GH only
* make a release with metadata pointing at GH for repo location and bugtracker
* turn off the mirroring and save poor Christian from wasting any further hours 
of his life
* continue to enjoy the CI


Check out the vibrant tech community on one of the world's most
engaging tech sites,!
pdl-devel mailing list

Reply via email to