-
Notifications
You must be signed in to change notification settings - Fork 319
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
rewrite: delete TODOs about labels for each term in a conflict
I don't think we'll want to record a label for each term, because such labels would get stale, and it seems hard to make them make sense after transferring a remote to another repo. I think we'll probably want to infer labels on demand instead (#1176).
- Loading branch information
1 parent
3d3c405
commit 184346d
Showing
2 changed files
with
0 additions
and
4 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters