It previously cited spid-cie-oidc as the folder name but since the GitHub repository ends with spid-cie-oidc-django and no local path is specified in the git clone command, the name of the local folder where the repository is cloned will be spid-cie-oidc-django.
I could have appended spid-cie-oidc to the git clone command, but since this is a rarely used option I preferred to change the cd command to the real one.
It previously cited
spid-cie-oidc
as the folder name but since the GitHub repository ends withspid-cie-oidc-django
and no local path is specified in thegit clone
command, the name of the local folder where the repository is cloned will bespid-cie-oidc-django
.I could have appended
spid-cie-oidc
to thegit clone
command, but since this is a rarely used option I preferred to change thecd
command to the real one.