webrtc-pc

Use github actions to simplify spec maintenance tasks

#2543

Merged