search

arduinodiscord / bot-legacy

A helpful bot for the Arduino discord community.
https://arduino.cc/discord
GNU General Public License v3.0
15 stars 10 forks source link

new solder tag? #131

Closed AnonEngineering closed 2 years ago

AnonEngineering commented 2 years ago

This is my edit of a proposal by AllDigitsMatter to create the !solder tag. My first attempt at creating a PR, sorry if muff it up,

max-bromberg commented 2 years ago

While I tried to change the commit to merge into develop, I believe there will be some issues merging because there already exists a solder tag, so I will be denying this pull request and carrying your changes over into a new commit on develop.