If you have changes that you’d like to see, it’s worth at least opening the pull request! It makes this a better place for everyone

  • niartenyaw@midwest.social
    link
    fedilink
    English
    arrow-up
    1
    ·
    2 years ago

    ah this is a bit of developer terminology, a pull request on github represents a developer requesting that an admin of the code repo “pulls” in their code changes so it can be in the next release.

    i think [email protected] is probably a decent place to put general requests!