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