search

github / semantic

Parsing, analyzing, and comparing source code across many languages
8.98k stars 452 forks source link

Rename the default branch to main #681

Closed robrix closed 2 years ago

robrix commented 2 years ago

This one is pretty easy via controls in the settings, but there will be some client-side steps to perform for users of (and especially contributors to) the repo, which will be documented here once the rename has taken place.

robrix commented 2 years ago

Did this today.