Add nginx_office_hours page

[rbdr/r.bdr.sh] / index.gmi

diff --git a/index.gmi b/index.gmi
index 7bc49e19c381a560f8c50f69bbd54fc700954607..459440c5b5bc13e49a86600646afa75055064dc9 100644 (file)
--- a/index.gmi
+++ b/index.gmi
@@ -96,7 +96,7 @@ Older versions of the plugin exist for other editors, though they support an old
 ### NGINX Office Hours
 A victory for the server's labor rights: An nginx module that allows you to serve your content only during office hours.
 
-=> https://git.unlimited.pizza/rbdr/ngx_http_office_hours_filter_module ngx_http_office_hours_filter_module
+=> ./nginx_office_hours.gmi ./nginx_office_hours.gmi
 
 ### Junction
 A browser extension that lets you start audio calls on any URL.