Deploying to gh-pages from @ ee518f0 🚀

mobusoperandi · Sep 13, 2024 · a959eb1 · a959eb1
1 parent d4f07b6
commit a959eb1
Show file tree

Hide file tree

Showing 11 changed files with 113 additions and 23 deletions.
diff --git a/add.html b/add.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Add; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="How to add your mob to Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1725716578752"><style>
+<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Add; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="How to add your mob to Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1726237359948"><style>
             @font-face {
                 font-family: 'Vollkorn';
                 src: url('/vollkorn.ttf') format('truetype');
@@ -123,5 +123,5 @@
 <pre><code class="language-yaml">!Terminated |
   Our goals have been accomplished and we moved on to other activities.
 </code></pre>
-</div></div></li></ol></div></div></li></ol></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>30e456e10ac0a31b0c98a4008057c45a68ad50b6
+</div></div></li></ol></div></div></li></ol></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>ee518f09e78056331b44e988720fb7a2ef242023
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>
diff --git a/index.html b/index.html
diff --git a/mobs/agda_now.html b/mobs/agda_now.html
@@ -1,9 +1,9 @@
-<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Agda Now; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Agda Now, Learning Agda, a dependently typed functional programming language; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1725716578755"><style>
+<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Agda Now; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Agda Now, Learning Agda, a dependently typed functional programming language; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1726237359952"><style>
             @font-face {
                 font-family: 'Vollkorn';
                 src: url('/vollkorn.ttf') format('truetype');
             }</style></head><body class="min-h-screen py-1 px-1 md:px-5 flex flex-col gap-1 max-w-screen-xl mx-auto"><div class="flex justify-between items-center flex-wrap gap-x-2 gap-y-1 uppercase text-lg"><div class="flex flex-col gap-x-2 whitespace-nowrap"><a href="/index.html" class="tracking-widest text-center">Mobus Operandi</a><p class="text-sm opacity-75">A mob programming community</p></div><div class="flex items-center gap-x-2"><a href="https://mobusoperandi.zulipchat.com/"><img width="32" alt="Zulip" src="/zulip_logo.svg"></a><a class="invert" href="https://github.com/mobusoperandi"><img width="32" alt="GitHub" src="/inverticat.svg"></a><a href="https://twitter.com/mobusoperandi"><img width="32" alt="Twitter" src="/twitter_logo.svg"></a></div></div><hr><div class="flex flex-col gap-6 grow"><div class="flex flex-col sm:flex-row sm:justify-around text-center tracking-wide"><div class="py-12"><h1 class="text-4xl">Agda Now</h1><p>Learning Agda, a dependently typed functional programming language</p></div><div class="py-12"><h2>Participants</h2><div class="font-bold"><a class="block" href="https://twitter.com/mightyiam">Shahar “Dawn” Or</a><a class="block" href="https://twitter.com/iulspop">Iuliu Pop</a></div></div></div><div class="flex flex-col items-center gap-1 text-lg"><div class="flex gap-4 uppercase tracking-widest"><s class="opacity-70">short</s><s class="opacity-70">open</s><s class="opacity-70">full</s><s class="opacity-70">public</s><span>terminated</span></div><p class="tracking-wide"> This mob has been terminated.</p></div><div class="grid grid-flow-row sm:grid-flow-col auto-cols-fr gap-[1.25em]"><div class="prose prose-invert max-w-full"><h2>We're learning Agda</h2>
 <p>Learning <a href="https://wiki.portal.chalmers.se/agda/pmwiki.php">Agda</a> since 2023-02-13.</p>
 <p>Currently going through <a href="https://plfa.github.io/">Programming Language Foundations in Agda</a>.</p>
-</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>30e456e10ac0a31b0c98a4008057c45a68ad50b6
+</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>ee518f09e78056331b44e988720fb7a2ef242023
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>
diff --git a/mobs/bass.html b/mobs/bass.html
@@ -1,8 +1,8 @@
-<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Bass; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Bass, Yet another Mobus Operandi website mob; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1725716578753"><style>
+<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Bass; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Bass, Yet another Mobus Operandi website mob; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1726237359950"><style>
             @font-face {
                 font-family: 'Vollkorn';
                 src: url('/vollkorn.ttf') format('truetype');
             }</style></head><body class="min-h-screen py-1 px-1 md:px-5 flex flex-col gap-1 max-w-screen-xl mx-auto"><div class="flex justify-between items-center flex-wrap gap-x-2 gap-y-1 uppercase text-lg"><div class="flex flex-col gap-x-2 whitespace-nowrap"><a href="/index.html" class="tracking-widest text-center">Mobus Operandi</a><p class="text-sm opacity-75">A mob programming community</p></div><div class="flex items-center gap-x-2"><a href="https://mobusoperandi.zulipchat.com/"><img width="32" alt="Zulip" src="/zulip_logo.svg"></a><a class="invert" href="https://github.com/mobusoperandi"><img width="32" alt="GitHub" src="/inverticat.svg"></a><a href="https://twitter.com/mobusoperandi"><img width="32" alt="Twitter" src="/twitter_logo.svg"></a></div></div><hr><div class="flex flex-col gap-6 grow"><div class="flex flex-col sm:flex-row sm:justify-around text-center tracking-wide"><div class="py-12"><h1 class="text-4xl">Bass</h1><p>Yet another Mobus Operandi website mob</p></div><div class="py-12"><h2>Participants</h2><div class="font-bold"><a class="block" href="https://twitter.com/mightyiam">Shahar “Dawn” Or</a><a class="block" href="https://twitter.com/kellyrankin19">Kelly Rankin</a></div></div></div><div class="flex flex-col items-center gap-1 text-lg"><div class="flex gap-4 uppercase tracking-widest"><s class="opacity-70">short</s><s class="opacity-70">open</s><s class="opacity-70">full</s><s class="opacity-70">public</s><span>terminated</span></div><p class="tracking-wide"> This mob has been terminated.</p></div><div class="grid grid-flow-row sm:grid-flow-col auto-cols-fr gap-[1.25em]"><div class="prose prose-invert max-w-full"><h2>What we do</h2>
 <p>We are currently working on <a href="https://mobusoperandi.com">the Mobus Operandi website</a> which is <a href="https://github.com/mobusoperandi/website">statically generated using Rust</a>.</p>
-</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>30e456e10ac0a31b0c98a4008057c45a68ad50b6
+</div><div class="prose prose-invert max-w-full"></div></div><hr></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>ee518f09e78056331b44e988720fb7a2ef242023
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>
diff --git a/mobs/love.html b/mobs/love.html
@@ -1,4 +1,4 @@
-<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Mob Love; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Mob Love, A mob for eslint-config-love; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1725716578755"><style>
+<!DOCTYPE html><html lang="en" class="font-[Vollkorn] [font-size:16px] bg-gray-900 text-gray-100"><head><title>Mob Love; Mobus Operandi</title><meta charset="utf-8"><meta name="description" content="Mob Love, A mob for eslint-config-love; description, schedule and more on Mobus Operandi"><meta name="viewport" content="width=device-width, initial-scale=1.0"><link rel="stylesheet" href="/index.css?v=1726237359952"><style>
             @font-face {
                 font-family: 'Vollkorn';
                 src: url('/vollkorn.ttf') format('truetype');
@@ -7,7 +7,7 @@
 </div><div class="prose prose-invert max-w-full"><h2>Join us</h2>
 <p>If you're interested in JavaScript, TypeScript and open source, consider applying to our mob.</p>
 <p>For more details and application, see <a href="https://gist.github.com/mightyiam/6618d6ae649dc26ef485a21ccfe1eb3e">this gist</a>.</p>
-</div></div><hr><div class="flex justify-between items-center flex-wrap gap-x-2"><div class="flex flex-wrap gap-x-[1ch] whitespace-nowrap flex-1"><p class="_20"></p><p class="_19"></p></div><div class="flex gap-x-2"><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _21"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _22"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100 rotate-180"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><button class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _23">Today</button></div></div><div class="_18 [--fc-page-bg-color:transparent]"></div><script defer src="/fullcalendar.js"></script><script defer src="/rrule.js"></script><script defer src="/fullcalendar_rrule.js"></script><script data-input="{&quot;events&quot;:[{&quot;backgroundColor&quot;:&quot;#ff00ff&quot;,&quot;duration&quot;:&quot;03:00&quot;,&quot;eventContent&quot;:&quot;&lt;div class=\&quot;h-full break-words\&quot;&gt; 5:00– 8:00 UTC&lt;/div&gt;&quot;,&quot;rrule&quot;:&quot;DTSTART:20240601T050000Z\nFREQ=weekly;UNTIL=21230509T050000Z;BYHOUR=5;BYMINUTE=0;BYSECOND=0;BYDAY=SA&quot;,&quot;textColor&quot;:&quot;#000080&quot;}],&quot;selectors&quot;:{&quot;buttonNext&quot;:&quot;._22&quot;,&quot;buttonPrev&quot;:&quot;._21&quot;,&quot;buttonToday&quot;:&quot;._23&quot;,&quot;calendarContainer&quot;:&quot;._18&quot;,&quot;dateRange&quot;:&quot;._19&quot;,&quot;timezone&quot;:&quot;._20&quot;}}">
+</div></div><hr><div class="flex justify-between items-center flex-wrap gap-x-2"><div class="flex flex-wrap gap-x-[1ch] whitespace-nowrap flex-1"><p class="_26"></p><p class="_25"></p></div><div class="flex gap-x-2"><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _27"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><div class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _28"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 32 32" class="w-[1em] fill-gray-100 rotate-180"><path d="M13,25.6c-0.5,0-1-0.2-1.4-0.6l-8.3-8.3c-0.4-0.4-0.4-1,0-1.4L11.6,7c0.6-0.6,1.4-0.7,2.2-0.4c0.8,0.3,1.2,1,1.2,1.8V12h12 c1.1,0,2,0.9,2,2v4c0,1.1-0.9,2-2,2H15v3.6c0,0.8-0.5,1.5-1.2,1.8C13.5,25.5,13.3,25.6,13,25.6z"></path></svg></div><button class="block p-3 text-lg bg-gray-700 rounded no-underline uppercase flex items-center _29">Today</button></div></div><div class="_24 [--fc-page-bg-color:transparent]"></div><script defer src="/fullcalendar.js"></script><script defer src="/rrule.js"></script><script defer src="/fullcalendar_rrule.js"></script><script data-input="{&quot;events&quot;:[{&quot;backgroundColor&quot;:&quot;#ff00ff&quot;,&quot;duration&quot;:&quot;03:00&quot;,&quot;eventContent&quot;:&quot;&lt;div class=\&quot;h-full break-words\&quot;&gt; 5:00– 8:00 UTC&lt;/div&gt;&quot;,&quot;rrule&quot;:&quot;DTSTART:20240601T050000Z\nFREQ=weekly;UNTIL=21230509T050000Z;BYHOUR=5;BYMINUTE=0;BYSECOND=0;BYDAY=SA&quot;,&quot;textColor&quot;:&quot;#000080&quot;}],&quot;selectors&quot;:{&quot;buttonNext&quot;:&quot;._28&quot;,&quot;buttonPrev&quot;:&quot;._27&quot;,&quot;buttonToday&quot;:&quot;._29&quot;,&quot;calendarContainer&quot;:&quot;._24&quot;,&quot;dateRange&quot;:&quot;._25&quot;,&quot;timezone&quot;:&quot;._26&quot;}}">
                     const input = JSON.parse(document.querySelector('[data-input]').getAttribute('data-input'))
                     /* global FullCalendar */
 ; (function initCalendar({ events, displayEventTime, selectors }) {
@@ -77,5 +77,5 @@
 })
 
 (input)
-                </script></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>30e456e10ac0a31b0c98a4008057c45a68ad50b6
+                </script></div><hr><div class="flex justify-between flex-wrap items-end"><pre class="text-xs"><code>ee518f09e78056331b44e988720fb7a2ef242023
 </code></pre><a class="text-sm" href="https://github.com/mobusoperandi/website">Source</a></div></body></html>