Opened 5 years ago

Closed 5 years ago

Last modified 4 years ago

#4613 closed defect (fixed)

Mirror script not working for github

Reported by: robe Owned by: strk
Priority: blocker Milestone: Website Management, Bots
Component: management Version: master
Keywords: Cc:

Description

On master I made a change in past 15 minutes and strk's January 1st change do not show on github. https://github.com/postgis/postgis

However I do see the change on gitlab.

https://gitlab.com/postgis/postgis

Change History (3)

comment:1 by robe, 5 years ago

Owner: changed from robe to strk

comment:2 by strk, 5 years ago

Resolution: fixed
Status: newclosed

Somehow GitHub branch protection was activated, which prevented git push --mirror from working

comment:3 by robe, 4 years ago

Milestone: Management 2.0Website Management, Bots

Milestone renamed

Note: See TracTickets for help on using tickets.