From 87dbcf6d76691bf86cac9a8ab2c8fcbc0f229d48 Mon Sep 17 00:00:00 2001
From: Vlad Ki <vlad@kirillov.im>
Date: Mon, 2 Apr 2018 18:52:52 +0300
Subject: [PATCH 1/2] lib: Github needs $/monad

---
 src/ur/lib.urp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/ur/lib.urp b/src/ur/lib.urp
index 794f460..75b8097 100644
--- a/src/ur/lib.urp
+++ b/src/ur/lib.urp
@@ -6,6 +6,7 @@ effectful WorldFfi.post
 $/char
 $/string
 $/json
+$/monad
 urls
 oauth
 github

From b3f27db92c3166df3948b6beb98913fcf86a4d06 Mon Sep 17 00:00:00 2001
From: Vlad Ki <vlad@kirillov.im>
Date: Mon, 2 Apr 2018 18:53:05 +0300
Subject: [PATCH 2/2] examples: mention valid Authorization callback URL

---
 examples/README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/examples/README.md b/examples/README.md
index 5183b3d..3e7591d 100644
--- a/examples/README.md
+++ b/examples/README.md
@@ -1 +1,4 @@
 To run `Basic` example: copy `basic_in.urp.in` to `basic_in.urp` and fill in your GitHub application details.
+
+You can create an OAuth App in https://github.com/settings/developers, make sure to set
+*Authorization callback URL* to `http://localhost:8080/G/authorized/http.3A.2F.2Flocalhost.3A8080.2Fafter` in application settings.