Skip to content

Remove outdated Vagrantfile#1581

Open
dbaty wants to merge 1 commit intomainfrom
dbaty/remove_vagrantfile
Open

Remove outdated Vagrantfile#1581
dbaty wants to merge 1 commit intomainfrom
dbaty/remove_vagrantfile

Conversation

@dbaty
Copy link
Copy Markdown
Member

@dbaty dbaty commented Apr 23, 2026

Description

It mentions Debian 10 (released in 2019) and Centos 7.9 (released in 2020). To put it mildly: it is unlikely to have been used recently.

I also removed mention of this file in the contribution documentation: Debian, Fedora and other package maintainers most probably use something else.

Checklist

  • [] I've added this contribution to the changelog.rst. Not added to the changelog, because this file is not shipped, it's merely provided wit the sources.
  • I've added my name to the AUTHORS file (or it's already there).
  • I installed pre-commit hooks (pip install pre-commit && pre-commit install).
  • I verified that my changes work as expected (this may include manually testing them in your local environment, or in other available environments). Cross this out if not relevant (for example, if you're making a documentation change).
  • [] Please squash merge this pull request (uncheck if you'd like us to merge as multiple commits)

It mentions Debian 10 (released in 2019) and Centos 7.9 (released in
2020). To put it mildly: it is unlikely to have been used recently.
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.

1 participant