Code Monitors: use DB ID rather than RecordID (!28564) · Merge requests · Administrator / sourcegraph

Administrator requested to merge webhooks-6 into main Dec 03, 2021

Created by: camdencheek

This field references a database ID, but was using the record ID type (int) rather than the database ID type (int32). This forces us to do a bunch of casting to use it correctly.

Code Monitors: use DB ID rather than RecordID

Merge request reports