# HG changeset patch
# User drewp@bigasterisk.com
# Date 1707968686 28800
# Node ID fcc97d3c0a58ec7ad5726077cd1bb6bd029c4fda
# Parent  d62f4755a7d0869ac8bb2b80ccfc965c32134ee7
shortcut

diff -r d62f4755a7d0 -r fcc97d3c0a58 push-config.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/push-config.sh	Wed Feb 14 19:44:46 2024 -0800
@@ -0,0 +1,2 @@
+#!/bin/sh
+pdm run invoke push-config