Opened 6 years ago

Closed 6 years ago

Last modified 5 years ago

#20645 closed defect (fixed)

Remove sagedev

Reported by: vbraun Owned by:
Priority: major Milestone: sage-7.3
Component: build Keywords:
Cc: Merged in:
Authors: Volker Braun Reviewers: Thierry Monteil
Report Upstream: N/A Work issues:
Branch: 5c6144e (Commits, GitHub, GitLab) Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by vbraun)

The dev scripts have been deprecated over a year ago in #18403, time to cut them loose.

Change History (7)

comment:1 Changed 6 years ago by vbraun

  • Description modified (diff)
  • Summary changed from Deprecate sagedev to Remove sagedev

comment:2 Changed 6 years ago by vbraun

  • Branch set to u/vbraun/remove_sagedev

comment:3 Changed 6 years ago by vbraun

  • Authors set to Volker Braun
  • Commit set to 5c6144e01bfa02998144b5334d952650665f4eae
  • Status changed from new to needs_review

New commits:

5c6144eRemove sagedev

comment:4 Changed 6 years ago by tmonteil

  • Reviewers set to Thierry Monteil
  • Status changed from needs_review to positive_review

LGTM.

comment:5 Changed 6 years ago by vbraun

  • Branch changed from u/vbraun/remove_sagedev to 5c6144e01bfa02998144b5334d952650665f4eae
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:6 Changed 6 years ago by embray

  • Commit 5c6144e01bfa02998144b5334d952650665f4eae deleted

So long! Cheers to whomever put the effort into them in the first place.

comment:7 Changed 5 years ago by dimpase

see #21710 for more cleanup of the docs in respect of this ticket.

Note: See TracTickets for help on using tickets.