You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$changes = git diff --numstat --shortstat origin/${{ github.base_ref }}...HEAD -- '**/PublicApi.Shipped.txt' # Note that ** must expand to at least one folder here, this doesn't check root
18
18
Write-Output "$changes"
19
19
if ($changes) {
20
20
Write-Error "Changes detected in PublicApi.Shipped.txt files. Public API changes must be shipped through the release process, not in regular pull requests."
Copy file name to clipboardExpand all lines: .github/workflows/Release.yml
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -7,7 +7,7 @@ jobs:
7
7
CSharpMath:
8
8
runs-on: windows-latest
9
9
permissions:
10
-
#permissions requested by https://github.com/marketplace/actions/create-pull-request#token
10
+
#Permissions requested by https://github.com/marketplace/actions/create-pull-request#token
11
11
contents: write
12
12
pull-requests: write
13
13
steps:
@@ -57,4 +57,4 @@ jobs:
57
57
title: 'Ship PublicApi for ${{ github.event.release.tag_name }}'
58
58
body: 'This PR moves the contents of PublicApi.Unshipped.txt to PublicApi.Shipped.txt to mark the API as shipped for version ${{ github.event.release.tag_name }}.'
59
59
branch: action/ship-publicapi # Same branch name specified in Label.yml
60
-
base: '${{ github.event.repository.default_branch }}'#releases are checked out on the tag commit. we need a branch for the pull request target
60
+
base: '${{ github.event.repository.default_branch }}'#Releases are checked out on the tag commit but we need a target branch for the pull request. Let's just always submit it against the default branch
0 commit comments