Skip to content

Commit 0d457dd

Browse files
committed
update url to point to github's token's page
1 parent 848d305 commit 0d457dd

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

doc/manual/packages.rst

+1-1
Original file line numberDiff line numberDiff line change
@@ -800,7 +800,7 @@ on GitHub, push your changes to your fork, and open a pull request::
800800
then you may have encountered an issue from using the GitHub API on
801801
multiple systems. The solution is to delete the "Julia Package Manager"
802802
personal access token `from your Github account
803-
<https://github.com/settings/applications>`_ and try again.
803+
<https://github.com/settings/tokens>`_ and try again.
804804

805805
Other failures may require you to circumvent :func:`Pkg.publish` by
806806
`creating a pull request on GitHub

0 commit comments

Comments
 (0)