Hi, I have some questions that you have probably discussed before, but I could not find any answers when searching the mailing list:
1. I am wondering how the mirroring to Github is configured. Is it performed manually? We could probably do it automatically using a server hook. 2. How are the nightly builds on Github assembled? Is that also performed manually? I could configure Github Action for making automated builds on Github, but then I would need admin rights on the Github FreeCol organization. Another alternative would be using a separate server for making builds and updating the mirror. I have a server where I plan on running the meta server before we make our next proper release. We could place other stuff there as well, if needed. Best wishes, Stian Grenborgen _______________________________________________ Freecol-developers mailing list Freecol-developers@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/freecol-developers
