From 9f794bc6733e7375f655218b90e28734b798e1a8 Mon Sep 17 00:00:00 2001 From: Yarmo Mackenbach Date: Thu, 25 Jun 2020 12:09:53 +0200 Subject: [PATCH] Update note --- content/notes/2020/06/2020-06-25--git-main.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/content/notes/2020/06/2020-06-25--git-main.md b/content/notes/2020/06/2020-06-25--git-main.md index 513c327..3deccdd 100644 --- a/content/notes/2020/06/2020-06-25--git-main.md +++ b/content/notes/2020/06/2020-06-25--git-main.md @@ -27,4 +27,8 @@ git push --delete origin master # delete the master from the server As for my website, here's the [commit](https://git.yarmo.eu/yarmo/yarmo.eu/commit/78e18c55c59c8e65e99013718cd42154ddb7ebd6) that completed the transition, making sure my CI/CD solution knows what to listen to. -*Update 1* Thanks to [Charles Pence](https://charlespence.net/) for reminding me to add the `git push --delete origin master` line. +--- + +## Update 1 + +Thanks to [Charles Pence](https://charlespence.net/) for reminding me to add the `git push --delete origin master` line.