Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merge main into releases/v2 #1947

Merged
merged 16 commits into from
Oct 13, 2023
Merged

Merge main into releases/v2 #1947

merged 16 commits into from
Oct 13, 2023

Conversation

github-actions[bot]
Copy link
Contributor

Merging 82ba90b into releases/v2.

Conductor for this PR is @henrymercer.

Contains the following pull requests:

Please do the following:

  • Ensure the CHANGELOG displays the correct version and date.
  • Ensure the CHANGELOG includes all relevant, user-facing changes since the last release.
  • Check that there are not any unexpected commits being merged into the releases/v2 branch.
  • Ensure the docs team is aware of any documentation changes that need to be released.
  • Approve and merge this PR. Make sure Create a merge commit is selected rather than Squash and merge or Rebase and merge.
  • Merge the mergeback PR that will automatically be created once this PR is merged.

norascheuch and others added 16 commits October 5, 2023 09:49
@norascheuch
Add commit sha to database upload
1727de3
@norascheuch
Use getCommitOid to get the id
075eb6a
@norascheuch
Add commit id to params
aed2e7f
@norascheuch
Await commitOid
8193a92
@norascheuch
Add new param to test
e62d946
@github-actions
Update changelog and version after v2.22.2
76a9f5c
@github-actions
Update checked-in dependencies
c1a0ad9
@henrymercer
Enable sub-language file coverage in interpret-results too
5950d13
@henrymercer
Test sub-language file coverage in file baseline information check
346d5c4 
We can do this now that the nightly has a version number starting with
2.15.0.
@henrymercer
Merge pull request #1943 from github/mergeback/v2.22.2-to-main-d90b8d79
761255a 
Mergeback v2.22.2 refs/heads/releases/v2 into main
@norascheuch
Merge pull request #1922 from github/nora/add-commit-sha-to-database-…
b584cf8 
…upload

Add commit sha to database upload
@henrymercer
Provide token when downloading from GHES API
bd32fab
@henrymercer
Add changelog note
74442e0
@henrymercer
Merge pull request #1944 from github/henrymercer/sublanguage-file-cov…
34f97d7 
…erage-fixes

Enable sub-language file coverage during interpretation and update PR check
@henrymercer
Merge pull request #1945 from github/henrymercer/authenticate-api-url
82ba90b 
 Authenticate when downloading CodeQL Bundle from GHES API
@github-actions
Update changelog for v2.22.3
f5a984b
@henrymercer henrymercer marked this pull request as ready for review October 13, 2023 12:38
@henrymercer henrymercer requested a review from a team as a code owner October 13, 2023 12:38
@henrymercer henrymercer enabled auto-merge October 13, 2023 12:38
@henrymercer henrymercer merged commit 0116bc2 into releases/v2 Oct 13, 2023
330 checks passed
@henrymercer henrymercer deleted the update-v2.22.3-82ba90b1d branch October 13, 2023 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@henrymercer henrymercer henrymercer approved these changes

Assignees

@henrymercer henrymercer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@henrymercer @norascheuch