mirror of
https://github.com/jeffvli/feishin.git
synced 2026-08-07 04:43:24 +02:00
d7f21b3c6b
* special socket for dev; defer to default otherwise * Add write-all permissions to docker push * special socket for dev; defer to default otherwise --------- Co-authored-by: jeffvli <jeffvictorli@gmail.com>