Permission error to delete file Codespace

[ibrahim-kabir]

I was trying to install act on codespace in the dev-rel-docs repo and by accident ended up creating a repo with act file in it. The problem is I can't delete the bin repo or the act file.

What did I try

• Reverse the changes on Git
• Command rm -fr bin
• Right-click and delete

Error

Git Log

2024-02-01 21:35:00.536 [info] > git clean -f -q -- /workspaces/dev-rel-docs/bin/act [2ms]
2024-02-01 21:35:00.536 [info] warning: failed to remove bin/act: Permission denied
2024-02-01 21:35:00.570 [info] > git config --get commit.template [18ms]
2024-02-01 21:35:00.571 [info] > git for-each-ref --format=%(refname)%00%(upstream:short)%00%(objectname)%00%(upstream:track)%00%(upstream:remotename)%00%(upstream:remoteref) refs/heads/97-move-docs-from-wiki-ibrahim refs/remotes/97-move-docs-from-wiki-ibrahim [1ms]
2024-02-01 21:35:00.592 [info] > git status -z -uall [3ms]

[ibrahim-kabir]

For now, I pushed my changes without the bin repo and deleted the Codespace, which deleted any unsaved changes, in this case, the bin repo has been deleted and created a new Codespace. So this issue is not blocking my ongoing work.

[rngadam]

@ibrahim-kabir when you are adding directories and files that should not be checking in, should modify .gitignore to exclude them from being accidentally committed