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

Omit derived files from repo (generate them locally instead) #1960

Open
eecavanna opened this issue May 7, 2024 · 0 comments · May be fixed by #2302
Open

Omit derived files from repo (generate them locally instead) #1960

eecavanna opened this issue May 7, 2024 · 0 comments · May be fixed by #2302
Assignees
Labels
cleanup devops enhancement New feature or request infrastructure not content This issue is about generating output, keeping the repo organized etc.

Comments

@eecavanna
Copy link
Collaborator

This repository contains several files that are dynamically generated from other files in the repository. This ticket is about omitting those generated files from the repository and, instead:

  1. Documenting how developers can generate them locally as-needed
  2. Updating GitHub Actions to generate them so they are included in the package that gets published to PyPI

Related: #1602

One team member suggested that ideas in this area be prototyped in a temporary fork of this repository — so that they can be tested, demonstrated, and discussed without interfering with this repository.

@eecavanna eecavanna added enhancement New feature or request infrastructure not content This issue is about generating output, keeping the repo organized etc. devops cleanup labels May 7, 2024
@eecavanna eecavanna self-assigned this May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cleanup devops enhancement New feature or request infrastructure not content This issue is about generating output, keeping the repo organized etc.
Development

Successfully merging a pull request may close this issue.

1 participant