Closed lukehsiao closed 7 years ago
Current title is super long. I propose we name it
jervisfm/rebbr or something like jervisfm/bbr-mahimahi or jervisfm/bbr-lossy-eval
jervisfm/rebbr
jervisfm/bbr-mahimahi
jervisfm/bbr-lossy-eval
or something else simple/shorter/
Ack. I will rename it - short relevant names are good all else being equal.
Renamed it to rebbr.
Current title is super long. I propose we name it
jervisfm/rebbr
or something likejervisfm/bbr-mahimahi
orjervisfm/bbr-lossy-eval
or something else simple/shorter/