Closed pshriwise closed 2 years ago
As of August 13, 2021 github requires that pushes use some kind of token authentication (relevant announcement).
This PR updates the expected URL in the documentation publishing Makefile to use the token-based URL for the expected remote.
As of August 13, 2021 github requires that pushes use some kind of token authentication (relevant announcement).
This PR updates the expected URL in the documentation publishing Makefile to use the token-based URL for the expected remote.