We have a web server which contains a web application stored as a github project. Now all of us can push from our local machines to github and then pull from the web server.
Sometimes we want to make small changes on the web server and immediately see the effect so it would be great to be able to push from the web server too.
Now I created an ssh key for the server but I don't want to add the servers ssh key to my github account because then all github actions done from the server are counted to my account. I also don't want to copy my private key to the server obviously.
Is it possible to add the ssh key of the web server to the github web application project without creating a new user for the server and what is the best practice for this situation?