Skip to content
This repository has been archived by the owner on Dec 20, 2022. It is now read-only.

[skip] move repository #81

Merged
merged 2 commits into from
Dec 20, 2022
Merged

[skip] move repository #81

merged 2 commits into from
Dec 20, 2022

Conversation

WindzCUHK
Copy link
Contributor

Description

moved to AthenZ/garm

Type of change

  • Bug fix
  • New feature
  • Refactoring (no functional changes, no api changes)
  • Non-code changes (update documentation, pipeline, etc.)

Flags

  • breaks backward compatibility
  • requires a documentation update
  • has untestable code

Checklist

  • Followed the guidelines in the CONTRIBUTING document
  • Added prefix [major]/[minor]/[patch]/[skip] in the PR title
  • Tested and linted the code
  • Commented the code
  • Made corresponding changes to the documentation
  • Confirmed no dropping in test coverage (by Codecov)
  • Passed all pipeline checking
  • Approved by >1 reviewer

Checklist for maintainer

  • Use Squash and merge
  • Double-confirm the merge message has prefix [major]/[minor]/[patch]/[skip]
  • Delete the branch after merge

@WindzCUHK WindzCUHK merged commit 60c1ab3 into master Dec 20, 2022
@WindzCUHK WindzCUHK deleted the moved branch December 20, 2022 10:14
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants