Change ESCOMP/ctsm to ESCOMP/CTSM Now that we have renamed the repo to ESCOMP/CTSM Most or all of these changes shouldn't be necessary, but it keeps things more self-consistent.

billsacks committed Oct 2, 2019

Tweak names of PR labels I wanted all of the PR-specific labels to be prefixed with "PR" for easier sorting and browsing of labels

billsacks committed Jan 28, 2019

Updated PR Labels (markdown)

ekluzek committed Jan 18, 2019

Add a wiki page on PR labels

billsacks committed Sep 21, 2018