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.

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

Update base image and use latest pygments #1

Merged
merged 2 commits into from Jun 28, 2021

Conversation

dario23
Copy link
Contributor

@dario23 dario23 commented Jun 24, 2021

No description provided.

For 17.10, not all repositories are available anymore, causing the build
to fail when running apt update
@dario23
Copy link
Contributor Author

dario23 commented Jun 24, 2021

draft PR, i want to wait until pygments/pygments#1813 is merged and then update the pygments URL with the latest pygments master after that (instead of linking to the fork currently).

Copy link
Owner

@vakaras vakaras left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@vakaras
Copy link
Owner

vakaras commented Jun 24, 2021

My experience is that it can take a really long time for a PR to be merged into the pygments mainstream. Therefore, I would suggest merging this PR now and creating a new one once the pygments PR lands.

@dario23
Copy link
Contributor Author

dario23 commented Jun 24, 2021

there's been some communication back and forth from the original pygments PR author and a maintainer in the last two days, i'd be willing to wait another 1-2 days in the hopes it gets merged soon.

@vakaras
Copy link
Owner

vakaras commented Jun 24, 2021

Sounds reasonable ☺

@dario23 dario23 force-pushed the update-and-latest-pygments branch from 2bfe806 to e846587 Compare June 25, 2021 10:41
@dario23 dario23 marked this pull request as ready for review June 25, 2021 11:09
@dario23 dario23 requested a review from vakaras June 27, 2021 08:42
Copy link
Owner

@vakaras vakaras left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good. Thanks!

@vakaras vakaras merged commit 3971125 into vakaras:master Jun 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants