Closed bictorv closed 3 years ago
Sorry, I'll redo with another fix.
FYI, you can push new commits and force-push to update a pull request any time you like.
I guessed there must be a way. I'll try that next time! :-)
So how, more precisely, would I update the latest pull request into PDP-10:master with the latest commits in Chaosnet:master?
I think you already did it. By pushing new commits to Chaosnet:master, they were automatically added here: https://github.com/PDP-10/supdup/pull/23
When you make a pull request, GitHub will monitor the repository and branch originally used to open the request. The pull request will always reflect the state of that branch. You can also completely rewrite the history on that branch and force push it, and the pull request will be updated accordingly.
If the host parameter given can be on Chaosnet (based on DNS or that it's a valid 16-bit chaos address), connect using the stream interface of cbridge, else use Internet as usual.
Also send three extra Supdup variables (supported by ITS), and some minor things.