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.

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

Update repo path in git submodule #128

Merged
merged 1 commit into from
Oct 25, 2020
Merged

Update repo path in git submodule #128

merged 1 commit into from
Oct 25, 2020

Conversation

xunholy
Copy link
Owner

@xunholy xunholy commented Oct 25, 2020

Signed-off-by: Michael Fornaro [email protected]

Description

Update the repository URL to the new refactored name.

Checklist

  • All commits are signed off. See the section Developer’s Certificate of Origin
  • Provide a title or release-note blurb suitable for the release notes.
  • All commits contain a well written commit description including a title, description and a Fixes: #XXX line if the commit addresses a particular GitHub issue.
  • All workflow validation and compliance checks are passing.

Issue Ref (Optional)

Which issue(s) this PR fixes (optional, using fixes #(, fixes #<issue_number>, ...) format, will close the issue(s) when the PR gets merged): Fixes #49

Notes

Add special notes for your reviewer here.

@xunholy
Update repo path in submodule
322f761 
Signed-off-by: Michael Fornaro <[email protected]>
@xunholy xunholy merged commit 9fab732 into main Oct 25, 2020
@xunholy xunholy deleted the feature/#49 branch October 25, 2020 07:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Update submodule repo name
1 participant
@xunholy