Skip to content

Document cleanup procedure for Magnum #1

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Nov 16, 2020
Merged

Document cleanup procedure for Magnum #1

merged 1 commit into from
Nov 16, 2020

Conversation

priteau
Copy link
Member

@priteau priteau commented Oct 22, 2020

No description provided.

@priteau priteau requested a review from oneswig October 22, 2020 08:54
@priteau priteau self-assigned this Oct 22, 2020
oneswig
oneswig approved these changes Nov 15, 2020
View reviewed changes
Copy link
Member

@oneswig oneswig left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Belated apologies for the slow review, looks good to me, thanks.

@priteau priteau merged commit 8231e2b into master Nov 16, 2020
@priteau priteau deleted the magnum-cleanup branch November 16, 2020 08:14
markgoddard pushed a commit that referenced this pull request Mar 6, 2023
@cityofships
Merge pull request #1 from rug-cit-hpc/pr
0dc86be 
Corrections & init CI
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@oneswig oneswig oneswig approved these changes

Assignees

@priteau priteau

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@priteau @oneswig