Opened 9 months ago

Closed 9 months ago

#32581 closed enhancement (fixed)

some fixes for relint linter

Reported by: chapoton Owned by:
Priority: major Milestone: sage-9.5
Component: refactoring Keywords:
Cc: Merged in:
Authors: Frédéric Chapoton Reviewers: Matthias Koeppe
Report Upstream: N/A Work issues:
Branch: e0782b1 (Commits, GitHub, GitLab) Commit: e0782b169e48ef67a7b075f25b42dbc2feedc46f
Dependencies: Stopgaps:

Status badges

Description

getting closer to make the linter pass

Change History (6)

comment:1 Changed 9 months ago by chapoton

  • Branch set to u/chapoton/32581
  • Commit set to 6f94502ec4378e9998b9ebf7e52490b6106bee85
  • Status changed from new to needs_review

New commits:

6f94502some fixes for the relint linter

comment:2 Changed 9 months ago by git

  • Commit changed from 6f94502ec4378e9998b9ebf7e52490b6106bee85 to c2afe429b00d3229a65edb7c0c12324f9242eb0d

Branch pushed to git repo; I updated commit sha1. New commits:

c2afe42more fixes for relint

comment:3 Changed 9 months ago by git

  • Commit changed from c2afe429b00d3229a65edb7c0c12324f9242eb0d to 86bef1c6d47908d5e1a1f8015ba6e804a360302c

Branch pushed to git repo; I updated commit sha1. New commits:

86bef1cone more fix

comment:4 Changed 9 months ago by git

  • Commit changed from 86bef1c6d47908d5e1a1f8015ba6e804a360302c to e0782b169e48ef67a7b075f25b42dbc2feedc46f

Branch pushed to git repo; I updated commit sha1. New commits:

e0782b1another fix

comment:5 Changed 9 months ago by mkoeppe

  • Reviewers set to Matthias Koeppe
  • Status changed from needs_review to positive_review

comment:6 Changed 9 months ago by vbraun

  • Branch changed from u/chapoton/32581 to e0782b169e48ef67a7b075f25b42dbc2feedc46f
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.