search

servo / webrender

A GPU-based renderer for the web
https://doc.servo.org/webrender/
Mozilla Public License 2.0
3.1k stars 276 forks source link

Add GitHub syncing infrastructure #4849

Closed mrobinson closed 5 months ago

mrobinson commented 5 months ago

This is a replacement for the Gecko-based sync for WebRender. Instead of having a remote task create a pull request with upstream changes, this adds an action which:

  1. Clones a copy of the git mirror of gecko-dev.
  2. Filters that repository and adds the filtered repository as a remote.
  3. Cherry-picks new commits based off a file which keeps a hash of the last cherry-picked commit.
  4. Pushes the new contents to main in this repository as well as a commit that updates the hash.

Landing this change will also require renaming the master branch to main.