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

Pip package git_trac_command #34524

Closed
mkoeppe opened this issue Sep 12, 2022 · 8 comments
Closed

Pip package git_trac_command #34524

mkoeppe opened this issue Sep 12, 2022 · 8 comments

Comments

@mkoeppe
Copy link
Member

mkoeppe commented Sep 12, 2022

(split out from #33613)

This is a pip-installable package

python3 -m pip install git+https://github.com/sagemath/git-trac-command

... but it is best to be installed by the user in their system environment, not in SAGE_VENV.

For example, we want to make it available on Gitpod, in devcontainers, and the user-facing Sage Docker images.

In src/environment-dev.yml (#33740), it should be added as a pip: line. (This happens through #33613.)

Depends on #30363

Component: packages: optional

Branch/Commit: u/mkoeppe/pip_package_git_trac_command @ 31db9da

Issue created by migration from https://trac.sagemath.org/ticket/34524

@mkoeppe mkoeppe added this to the sage-9.8 milestone Sep 12, 2022
@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 12, 2022

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 12, 2022

Commit: 31db9da

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 12, 2022

New commits:

57b9a5abuild/pkgs/git_trac_command: New
31db9dabuild/pkgs/_develop/dependencies: Add git_trac_command

@mkoeppe
Copy link
Member Author

mkoeppe commented Sep 12, 2022

Dependencies: #30363

@mkoeppe mkoeppe removed this from the sage-9.8 milestone Sep 12, 2022
@mkoeppe

This comment has been minimized.

@tobiasdiez
Copy link
Contributor

With the migration to github, this should no longer be necessary, right?

Should we also archive the repo https://github.com/sagemath/git-trac-command?

@mkoeppe
Copy link
Member Author

mkoeppe commented Feb 7, 2023

I haven't archived the repo yet, because this also provides @vbraun's release manager scripts, and I'm not sure whether anything from there will still be needed.

@mkoeppe
Copy link
Member Author

mkoeppe commented Feb 8, 2023

With the migration to github, this should no longer be necessary, right?

That's right.

@mkoeppe mkoeppe closed this as not planned Won't fix, can't repro, duplicate, stale Feb 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants