Re: [proximity] chore: rename pr-push.yml to auto-publish.yml (#49)

(I noticed @xfq was actioned to review, hopefully merge was OK.)

-- 
GitHub Notification of comment by anssiko
Please view or discuss this issue at https://github.com/w3c/proximity/pull/49#issuecomment-854481792 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Friday, 4 June 2021 08:34:23 UTC