push to execute post-receive

This commit is contained in:
Michael Zhang 2020-11-03 16:35:45 -06:00
parent 9d6e454793
commit 75e9d77c1e
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B

Diff content is not available