Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

some fixes for relint linter #32581

Closed
fchapoton opened this issue Sep 28, 2021 · 11 comments
Closed

some fixes for relint linter #32581

fchapoton opened this issue Sep 28, 2021 · 11 comments
Labels
p: major / 3 t: enhancement t: refactoring
Milestone
sage-9.5

Comments

@fchapoton
Copy link
Contributor

getting closer to make the linter pass

Component: refactoring

Author: Frédéric Chapoton

Branch/Commit: e0782b1

Reviewer: Matthias Koeppe

Issue created by migration from https://trac.sagemath.org/ticket/32581
@fchapoton fchapoton added this to the sage-9.5 milestone Sep 28, 2021
@fchapoton
Copy link
Contributor Author

Branch: u/chapoton/32581

@fchapoton
Copy link
Contributor Author

Commit: 6f94502

@fchapoton
Copy link
Contributor Author

New commits:

6f94502some fixes for the relint linter

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Sep 28, 2021

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

c2afe42more fixes for relint

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Sep 28, 2021

Changed commit from 6f94502 to c2afe42

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Sep 28, 2021

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

86bef1cone more fix

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Sep 28, 2021

Changed commit from c2afe42 to 86bef1c

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Sep 28, 2021

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

e0782b1another fix

@sagetrac-git
Copy link
Mannequin

sagetrac-git mannequin commented Sep 28, 2021

Changed commit from 86bef1c to e0782b1

@mkoeppe
Copy link
Member

mkoeppe commented Sep 28, 2021

Reviewer: Matthias Koeppe

@vbraun
Copy link
Member

vbraun commented Oct 13, 2021

Changed branch from u/chapoton/32581 to e0782b1

@vbraun vbraun closed this as completed in a915a23 Oct 13, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
p: major / 3 t: enhancement t: refactoring
Projects
None yet
Milestone
sage-9.5
Development

No branches or pull requests
3 participants
@vbraun @fchapoton @mkoeppe