[webrtc-extensions] Pull Request: rename ext-respec-config.js to webrtc-extensions and update git branch

• From: Philipp Hancke via GitHub <sysbot+gh@w3.org>
• Date: Wed, 22 Mar 2023 13:57:10 +0000
• To: public-webrtc@w3.org
• Message-ID: <pull_request.opened-1285906877-1679493427-sysbot+gh@w3.org>

fippo has just submitted a new pull request for https://github.com/w3c/webrtc-extensions:

== rename ext-respec-config.js to webrtc-extensions and update git branch ==
for consistency with the pattern used in the other repos.

See https://github.com/w3c/webrtc-extensions/pull/149


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

Received on Wednesday, 22 March 2023 13:57:12 UTC