$ git remote add upstream https://github.com/systems-programming/hello.git
$ git fetch upstream master:master
$ git branch -d my-feature # you may need -D instead of -d
$ git push origin -d my-feature # or delete from the web interface
If your PR needs to be modified to handle upstream changes, fetch from upstream, rebase, fix any conflicts, and push.
$ git remote add upstream https://github.com/systems-programming/hello.git
$ git fetch upstream master:master
$ git rebase master
$ git push