Veuillez créer un problème pour une discussion générale concernant les changements dans la demande d'extension. L'idéal est de le faire avant que la demande ne soit soumise. Les pull requests sont toujours les bienvenues et encouragées, mais coordonner les efforts permet de gagner du temps pour tout le monde. Les discussions via Discord sont également acceptables. Mettez un lien vers la discussion dans la description du PR.
Veuillez cibler la dernière version de la branche principale avec vos demandes de modifications.
Avant de soumettre votre PR, assurez-vous de récupérer tous les derniers changements dans votre arbre de travail, sinon il en résultera un désordre qui pourrait annuler le travail déjà effectué. La commande git git pull --rebase upstream main - ou l'opération équivalente depuis l'une des interfaces utilisateur de Git, est la meilleure façon de le faire. Le mot clé est « rebase ». Si le rebasement pose des problèmes, un autre workflow git consiste à créer une nouvelle branche basée sur la dernière main, puis à « récupérer » vos commits de votre branche de travail sur la nouvelle branche.
Pour les dispositifs expérimentaux, il est également acceptable de cibler d'autres branches que la branche principale.
Le versionnage est appliqué lors de la publication d'une version
Voir ce document pour notre style de codage
Ajoutez votre nom au début des fichiers. Incluez vos noms d'utilisateur @github et @discord pour que les questions du support puissent vous être adressées.
Nous travaillons généralement sur plusieurs choses en même temps. Celles-ci sont typiquement sur des branches ou des PRs. Nous déterminons ce que nous voulons inclure dans la prochaine version. Seuls les éléments que nous prévoyons de publier ensuite seront fusionnés avec la version principale. N'hésitez pas à essayer de nous convaincre de l'ajouter à la prochaine version via Discord, mais respectez notre décision.
Si votre PR n'est pas destiné à notre prochaine version, il devra attendre.
Les devs discutent sur Discord. Nous avons quelques canaux réservés aux développeurs où seuls les développeurs peuvent poster. Nous les restreignons pour limiter les bavardages. Si vous avez besoin d'un accès pour poster, veuillez le demander sur un canal public de Discord.
Si vous créez un nouvel élément configurable, vous devez également fournir des informations pour le wiki.