Opened 10 days ago

Last modified 6 days ago

#20126 assigned task

Migrate GitHub mirroring script to server

Reported by: simon04 Owned by: team
Priority: normal Milestone: 20.12
Component: Trac Version:
Keywords: Cc: git, github, mirror

Description (last modified by simon04)

The script has been running on my PC at since 2015-04-07. I wouldn't have expected it to be still relevant and in production 5.5 years later.

The mirroring process is mission critical now, #19937.

I don't want to run and maintain this mirroring script any more. It does not belong to a private PC of a contributor. I'm happy to share a tarball of everything I have.

Attachments (0)

Change History (2)

comment:1 Changed 10 days ago by simon04

Description: modified (diff)

comment:2 Changed 6 days ago by Don-vip

Milestone: 20.12

Modify Ticket

Change Properties
Set your email in Preferences
as assigned The owner will remain team.
as The resolution will be set.
to The owner will be changed from team to the specified user.
The owner will change to simon04
as duplicate The resolution will be set to duplicate.The specified ticket will be cross-referenced with this ticket

Add Comment

E-mail address and name can be saved in the Preferences.

Note: See TracTickets for help on using tickets.