How to contribute

[Bootstrap360]

I have a branch which I would like to push and create a pull request for.

However, I do not seem to be able to push because permissions

~/repos/scalene$ git remote set-url origin https://github.com/plasma-umass/scalene.git
~/repos/scalene$ git push origin
environment: /home/glen/.vscode-server/bin/ee2b180d582a7f601fa6ecfdad8d9fd269ab1884/node: No such file or directory
remote: Permission to plasma-umass/scalene.git denied to Bootstrap360.
fatal: unable to access 'https://github.com/plasma-umass/scalene.git/': The requested URL returned error: 403

I have checked that my ssh-keys are working

~/repos/scalene$ ssh -T [email protected]
Warning: Permanently added the ECDSA host key for IP address '140.82.112.4' to the list of known hosts.
Hi Bootstrap360! You've successfully authenticated, but GitHub does not provide shell access.

and looked around on github about how to contribute but I believe I am taking all the right steps.

Any help would be much appreciated.

[emeryberger]

Pretty sure you need to make modifications to a local fork of the repo.