#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.
Change History (3)
comment:1 by , 4 years ago
| Owner: | changed from to |
|---|
comment:2 by , 4 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note:
See TracTickets
for help on using tickets.
Somehow GitHub branch protection was activated, which prevented
git push --mirrorfrom working