From 1c277f6ad15e6efb267fb6daed39a16a5ddf3b09 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Sat, 1 Sep 2018 13:23:19 +0200
Subject: [PATCH] show token for triggering evaluation at "your account" page

---
 templates/your-account.hamlet | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/templates/your-account.hamlet b/templates/your-account.hamlet
index 47a3d24..cba38ac 100644
--- a/templates/your-account.hamlet
+++ b/templates/your-account.hamlet
@@ -15,3 +15,9 @@
         <hr>
         <ul class="list-group">
             <li class="list-group-item">You don't need to specify your ID and SSH public key, if you don't use private repos hosted on Gonito.net.
+        <hr>
+        <ul class="list-group">
+            $maybe token <- userTriggerToken user
+               <li class="list-group-item">Your token for triggering evaluation is <code>#{token}</code>
+            $nothing
+               <li class="list-group-item">Your token for triggering evaluation is not set yet, ask the administrator to do this
\ No newline at end of file