Skip to content

"Pull friends' notes from GitHub" failure #40

@solomon-b

Description

@solomon-b

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions