Opened 8 years ago

Closed 8 years ago

#14598 closed enhancement (duplicate)

Upgrade patchbot

Reported by: robertwb Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: packages: optional Keywords:
Cc: jdemeyer, vbraun Merged in:
Authors: Reviewers: Jeroen Demeyer
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


Fixes issue with plugins not getting reported, tests all long, detects errors in documentation building, and preliminary (unfinished) support for git.

Change History (4)

comment:1 Changed 8 years ago by jdemeyer

  • Authors Robert Bradshaw deleted
  • Milestone changed from sage-5.10 to sage-duplicate/invalid/wontfix
  • Reviewers set to Jeroen Demeyer
  • Status changed from new to needs_review

Why a new ticket when there is #14360?

comment:2 Changed 8 years ago by jdemeyer

  • Status changed from needs_review to positive_review

comment:3 Changed 8 years ago by robertwb

Oops, 'cause I'd totally forgotten about that one.

comment:4 Changed 8 years ago by jdemeyer

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.