Opened 4 months ago

Closed 4 months ago

#31115 closed enhancement (duplicate)

Move DISTRO.txt and DISTRO-bootstrap.txt files from build/pkgs to build/distros

Reported by: slelievre Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: distribution Keywords:
Cc: mkoeppe, slelievre Merged in:
Authors: Reviewers: Samuel Lelièvre
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

This is to create a folder build/distros/ where all the DISTRO.txt and DISTRO-bootstrap.txt files, currently in build/pkgs/, could have a neat home.

Change History (5)

comment:1 Changed 4 months ago by slelievre

If this sounds interesting, I can push a branch.

comment:2 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-duplicate/invalid/wontfix

Moving these files is happening in #29124

comment:3 Changed 4 months ago by mkoeppe

  • Status changed from new to needs_review

comment:4 Changed 4 months ago by slelievre

  • Status changed from needs_review to positive_review

Cool. This ticket can be closed.

comment:5 Changed 4 months ago by slelievre

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