fix: Use a separate git repository to push changes

mvgijssel commented 9 months ago

ref #451

✅ If I personally push a change it's totally fine, workflows are triggered.
❌ Update the personal access token with "workflow" permission
❌ Update the personal access token with "action" permission
❌ Use classic PAT instead of fine grained
✅ Verify if it works with a PAT from mvgijssel - yeah it does. So it's somehow related to the user account? https://github.com/vgijssel/setup/commit/82a39dafe880b865f8ed22e938a9c8a336ba97b1
❓ Maybe the account is marked as spam (https://webapps.stackexchange.com/questions/172282/is-github-shadowbanning-my-account-by-returning-404-to-other-users-who-access-my), send email to GitHub support to unmark

For now use PAT from the regular mvgijssel account until the support ticket is resolved.

mvgijssel commented 9 months ago

It seems that even PRs made by the bot are completely private and don't exist for anyone else. For example https://github.com/vgijssel/setup/pull/622. This PR also doesn't run the GitHub workflow actions, so that's probably related.

mvgijssel commented 9 months ago

Created fine-grained PAT for mvgijssel like so

which is working just fine as can be seen here: https://github.com/vgijssel/setup/commit/012d8630bfc568a59fb922aeb86ac9ed2313056e

vgijssel / setup

fix: Use a separate git repository to push changes #621