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

Fix crash after script repository install location is deleted / moved #38173

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from

Conversation

jhaigh0
Copy link
Contributor

@jhaigh0 jhaigh0 commented Oct 10, 2024

Description of work

Summary of work

Fixes #35579

Further detail of work

To test:


Reviewer

Please comment on the points listed below (full description).
Your comments will be used as part of the gatekeeper process, so please comment clearly on what you have checked during your review. If changes are made to the PR during the review process then your final comment will be the most important for gatekeepers. In this comment you should make it clear why any earlier review is still valid, or confirm that all requested changes have been addressed.

Code Review

  • Is the code of an acceptable quality?
  • Does the code conform to the coding standards?
  • Are the unit tests small and test the class in isolation?
  • If there is GUI work does it follow the GUI standards?
  • If there are changes in the release notes then do they describe the changes appropriately?
  • Do the release notes conform to the release notes guide?

Functional Tests

  • Do changes function as described? Add comments below that describe the tests performed?
  • Do the changes handle unexpected situations, e.g. bad input?
  • Has the relevant (user and developer) documentation been added/updated?

Does everything look good? Mark the review as Approve. A member of @mantidproject/gatekeepers will take care of it.

Gatekeeper

If you need to request changes to a PR then please add a comment and set the review status to "Request changes". This will stop the PR from showing up in the list for other gatekeepers.

@jhaigh0 jhaigh0 force-pushed the 35579_move_script_repo_install_location branch 2 times, most recently from be5f60f to 5fe2465 Compare October 10, 2024 14:18
Copy link

👋 Hi, @jhaigh0,

Conflicts have been detected against the base branch. Please rebase your branch against the base branch.

@github-actions github-actions bot added the Has Conflicts Used by the bot to label pull requests that have conflicts label Nov 15, 2024
If the script repo json files are deleted / moved, the ScriptRepository object will be
set as invalid and the user will be prompted to reinstall upon reloading.
@jhaigh0 jhaigh0 force-pushed the 35579_move_script_repo_install_location branch from 5fe2465 to fb78b66 Compare December 11, 2024 13:46
@github-actions github-actions bot removed the Has Conflicts Used by the bot to label pull requests that have conflicts label Dec 11, 2024
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.

Moving the Script Repo and Clicking Reload Crashes Workbench
1 participant