Would it be usefull to use GitHub APIs

[ahcvankampen]

GitHub provides API access to repo Issues, Projects, Discussions. Scripts that read/write machine-readable files in ENCORE could transfer notes into GitHub tools (and vice-versa). Given that GitHub is currently far more popular than other repository platforms (eg GitLab) I think these sorts of integrations would be a worthwhile investment. Something to consider for future versions.

https://docs.github.com/en/rest?apiVersion=2022-11-28