I disabled the Build Pushes setting of my project. In the time it was disabled I pushed a commit to GitHub. Now I want to trigger a build for that commit and I can't find a way to do that except for re-enabling the feature and pushing another commit. setting of my proje