infer
infer copied to clipboard
Renaming the default branch to main.
On 17th March 2019 we're going to rename the default branch in this repository to main. For more details, see our earlier announcement.