-
-
Notifications
You must be signed in to change notification settings - Fork 628
Move sage-update-version
to tools
#39032
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
Conversation
Documentation preview for this PR (built with commit 48e03c4; changes) is ready! 🎉 |
@dimpase and this one as well ;-) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm. Please update tags to Positive-review
sagemathgh-39032: Move `sage-update-version` to `tools` <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Move the `sage-update-version` script to `tools`, as the new place for developer-only scripts. Also add a bit of documentation and add a fallback for `SAGE_SRC` if the later is not set. @vbraun Please have a look, since you are essentially the only one affected by this change. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#39032 Reported by: Tobias Diez Reviewer(s): Dima Pasechnik
sagemathgh-39032: Move `sage-update-version` to `tools` <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Move the `sage-update-version` script to `tools`, as the new place for developer-only scripts. Also add a bit of documentation and add a fallback for `SAGE_SRC` if the later is not set. @vbraun Please have a look, since you are essentially the only one affected by this change. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#39032 Reported by: Tobias Diez Reviewer(s): Dima Pasechnik
sagemathgh-39032: Move `sage-update-version` to `tools` <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Move the `sage-update-version` script to `tools`, as the new place for developer-only scripts. Also add a bit of documentation and add a fallback for `SAGE_SRC` if the later is not set. @vbraun Please have a look, since you are essentially the only one affected by this change. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#39032 Reported by: Tobias Diez Reviewer(s): Dima Pasechnik
sagemathgh-39032: Move `sage-update-version` to `tools` <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Move the `sage-update-version` script to `tools`, as the new place for developer-only scripts. Also add a bit of documentation and add a fallback for `SAGE_SRC` if the later is not set. @vbraun Please have a look, since you are essentially the only one affected by this change. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#39032 Reported by: Tobias Diez Reviewer(s): Dima Pasechnik
sagemathgh-39032: Move `sage-update-version` to `tools` <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Move the `sage-update-version` script to `tools`, as the new place for developer-only scripts. Also add a bit of documentation and add a fallback for `SAGE_SRC` if the later is not set. @vbraun Please have a look, since you are essentially the only one affected by this change. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#39032 Reported by: Tobias Diez Reviewer(s): Dima Pasechnik
sagemathgh-39032: Move `sage-update-version` to `tools` <!-- ^ Please provide a concise and informative title. --> <!-- ^ Don't put issue numbers in the title, do this in the PR description below. --> <!-- ^ For example, instead of "Fixes sagemath#12345" use "Introduce new method to calculate 1 + 2". --> <!-- v Describe your changes below in detail. --> <!-- v Why is this change required? What problem does it solve? --> <!-- v If this PR resolves an open issue, please link to it here. For example, "Fixes sagemath#12345". --> Move the `sage-update-version` script to `tools`, as the new place for developer-only scripts. Also add a bit of documentation and add a fallback for `SAGE_SRC` if the later is not set. @vbraun Please have a look, since you are essentially the only one affected by this change. ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [ ] The title is concise and informative. - [ ] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#39032 Reported by: Tobias Diez Reviewer(s): Dima Pasechnik
Not executable, whats the plan there? |
29d68ee
to
ae69342
Compare
hopefully my rebase is OK. permissions are fine now, too |
why do we still doing CI with Fedora 30? |
Thanks!
Addressed in #39942 |
Move the
sage-update-version
script totools
, as the new place for developer-only scripts.Also add a bit of documentation and add a fallback for
SAGE_SRC
if the later is not set.@vbraun Please have a look, since you are essentially the only one affected by this change.
📝 Checklist
⌛ Dependencies