fermatslastmargin
fermatslastmargin copied to clipboard
"Pull friends' notes from GitHub" failure
A fresh install with a new access token and repo. I switched my remote URL to use SSH. Pushing a new paper to my repo worked fine.
"Pull friends' notes from GitHub" failed with the following:
Something went wrong
GET /
Accept: text/html,application/xhtml+xml,application/xml;q=0.9,*/*;q=0.8
Status: 200 OK 0.000980282s
ParseError "Error in $: expected Vector a, encountered Object"
CallStack (from HasCallStack):
error, called at src/Lib/Github.hs:27:30 in fermatslastmargin-0.1.0.0-4i8AshC7BgX6stjYnIZgse:Lib.Github
If you try this again, do you still get this error? I think it's possible you were rate-limited by the github API.