fermatslastmargin icon indicating copy to clipboard operation
fermatslastmargin copied to clipboard

"Pull friends' notes from GitHub" failure

Open solomon-b opened this issue 4 years ago • 1 comments

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

solomon-b avatar Jan 19 '20 19:01 solomon-b

If you try this again, do you still get this error? I think it's possible you were rate-limited by the github API.

shapr avatar Jan 25 '20 01:01 shapr