Fix Dev Scheduling Error for Buildbot

The dev environment is not tracking the server repository properly, which results in no builds being scheduled when a merge is made. This issue specifically occurs when merging dev into main. The task involves fixing this scheduling error to ensure smooth operation.