git-playground repo to play with git and hub commands Observations 2022-07-11: Renaming workflow filename resets the workflow run execution id 2022-07-11: Changing name: in workflow file doesn't reset workflow run execution id