From 21202cbc886e2f208511098ca3566eb8514e2cd2 Mon Sep 17 00:00:00 2001
From: jmtd <jmtd@web>
Date: Sun, 10 Jan 2021 06:53:12 -0400
Subject: [PATCH] link to branch URI just in case the mirrorer breaks

---
 doc/todo/pagespec_aliases.mdwn | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/todo/pagespec_aliases.mdwn b/doc/todo/pagespec_aliases.mdwn
index 114ca3bef..2a6ce55b4 100644
--- a/doc/todo/pagespec_aliases.mdwn
+++ b/doc/todo/pagespec_aliases.mdwn
@@ -232,5 +232,8 @@ you have disabled a plugin that defined a PageSpec name and you want to substitu
 what it would have expanded to with something else, for example.
 
 I will (after writing this) rebase my branch. Please take another look!
+(just in case the rebase and/or the "-" in the branchnames causes problems
+with IkiWiki's auto-mirror-pull, the branch is here:
+<https://github.com/jmtd/ikiwiki/tree/pagespec-alias>)
 
 *— [[Jon]], 2020-01-10*