Hey there!
What I would suggest to get the answer most effectively to this kind of questions which is our GitHub SDK related is I would raise a GitHub issue for that and then share the link here with us so that we can ping repo maintainers regarding that. Thanks!