Schedule Goals from PR Event

example.ts

    sdm.addPullRequestListener(async prl => {
        const repo = await fetchBranchTips(
          prl.context,
          {
              repo: prl.pullRequest.repo.name,
              owner: prl.pullRequest.repo.owner,
              providerId: prl.pullRequest.repo.org.provider.providerId,
          },
        );
        const id = GitHubRepoRef.from({
            owner: prl.pullRequest.repo.owner,
            repo: prl.pullRequest.repo.name,
            branch: prl.pullRequest.branch.name,
            sha: repo.branches.filter(b => b.name === prl.pullRequest.branch.name)[0].commit.sha,
        });

        const push = await fetchPushForCommit(prl.context, id, repo.org.provider.providerId);
        await chooseAndSetGoals({
            projectLoader: sdm.configuration.sdm.projectLoader,
            repoRefResolver: sdm.configuration.sdm.repoRefResolver,
            goalsListeners: [...sdm.goalsSetListeners],
            goalSetter: sdm.pushMapping,
            implementationMapping: sdm.goalFulfillmentMapper,
        }, {
            context: prl.context,
            credentials: prl.credentials,
            push,
        });
    });