https://github.com/BranislavBajuzik/1.12-to-1.13
This tool allows you to convert 1.12 commands to 1.13 format! I do not take credit in any way sharp or form! I did not make this! Just thought it would be a useful tool for people who need help
Creator: https://www.planetminecraft.com/member/theal_t