Open jangernert opened 3 years ago
I guess if someone could fix the branches so that we can just merge one into the other instead of doing the codegen for both, it would be nice.
As an end user of this crate, having two branches, one with stable dependencies and one with Git dependencies, is quite useful. Perhaps this repository could have some sort of GitHub workflow to automatically update both branches? It would:
gir
and gir-files
submodulesmake gir
The only potential issue with that that I can see is the manual tweaking that's required (make gir
generates bindings for an older version of GTK3) to resolve build errors. I had to do that in several places when I was working on PR #89.
https://github.com/gtk-rs/webkit2gtk-rs/issues/63#issuecomment-579932598
https://github.com/gtk-rs/webkit2gtk-rs/pull/91#issuecomment-870805584
master still needs to be brought up to speed with the rest of gtk-rs (GTK 3 repository is now called gtk3-rs). There are two PRs that started the update: #89 #88
What is the plan here? Continue with two independent branches or bring them back together? Any contributions that are in master but missing in crate?