Juan Ramos a49166a89a docs: Improve github templates
Just specify the list of files to avoid contributor confusion.
2023-01-23 11:41:50 -07:00
..
2023-01-19 11:45:45 -07:00