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

chore: Fix filename for release process #3544

Merged

JorTurFer merged 1 commit into main from tomkerkhove-patch-1

Aug 10, 2022

Member

tomkerkhove commented Aug 10, 2022

Fix filename for release process because of my OCD.

Checklist

Commits are signed with Developer Certificate of Origin (DCO - learn more)


          chore: Fix filename for release process

6eb447c

Signed-off-by: Tom Kerkhove <kerkhove.tom@gmail.com>

tomkerkhove requested a review from a team as a code owner

August 10, 2022 07:10

JorTurFer approved these changes

View reviewed changes

JorTurFer enabled auto-merge (squash)

August 10, 2022 07:18

JorTurFer disabled auto-merge

August 10, 2022 07:18

JorTurFer merged commit a4a1182 into main

JorTurFer deleted the tomkerkhove-patch-1 branch

August 10, 2022 07:18

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet