Opened 9 years ago

Closed 9 years ago

#15197 closed enhancement (fixed)

Update patchbot to handle git repo

Reported by: Robert Bradshaw Owned by:
Priority: major Milestone: sage-5.13
Component: packages: optional Keywords:
Cc: Harald Schilly Merged in:
Authors: Robert Bradshaw Reviewers: Volker Braun
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Change History (5)

comment:1 Changed 9 years ago by Robert Bradshaw

Status: newneeds_review

comment:2 Changed 9 years ago by Volker Braun

Reviewers: Volker Braun
Status: needs_reviewpositive_review

Looks good to me.

comment:3 Changed 9 years ago by Volker Braun

Cc: Harald Schilly added

Harald: please mirror

comment:4 Changed 9 years ago by Harald Schilly

package is on its way around the world

comment:5 Changed 9 years ago by Jeroen Demeyer

Resolution: fixed
Status: positive_reviewclosed
Note: See TracTickets for help on using tickets.