Skip to content

Commit 0318ad8

Browse files
Merge branch 'stdlib-js:develop' into poisson-logpmf
2 parents b40a930 + fd45831 commit 0318ad8

File tree

154 files changed

+1040
-1189
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

154 files changed

+1040
-1189
lines changed

.github/workflows/autoclose.yml

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ jobs:
5252
- name: 'Close pull request'
5353
run: gh pr close "$NUMBER" --comment "$BODY"
5454
env:
55-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
55+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
5656
GH_REPO: ${{ github.repository }}
5757
NUMBER: ${{ github.event.pull_request.number }}
5858
BODY: |
@@ -88,7 +88,7 @@ jobs:
8888
- name: 'Close pull request'
8989
run: gh pr close "$NUMBER" --comment "$BODY"
9090
env:
91-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
91+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
9292
GH_REPO: ${{ github.repository }}
9393
NUMBER: ${{ github.event.pull_request.number }}
9494
BODY: |
@@ -124,7 +124,7 @@ jobs:
124124
- name: 'Close pull request'
125125
run: gh pr close "$NUMBER" --comment "$BODY"
126126
env:
127-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
127+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
128128
GH_REPO: ${{ github.repository }}
129129
NUMBER: ${{ github.event.pull_request.number }}
130130
BODY: |
@@ -164,7 +164,7 @@ jobs:
164164
- name: 'Close pull request'
165165
run: gh pr close "$NUMBER" --comment "$BODY"
166166
env:
167-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
167+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
168168
GH_REPO: ${{ github.repository }}
169169
NUMBER: ${{ github.event.pull_request.number }}
170170
BODY: |
@@ -176,7 +176,7 @@ jobs:
176176
- name: 'Lock conversation'
177177
run: gh pr lock "$NUMBER" --reason spam
178178
env:
179-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
179+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
180180
GH_REPO: ${{ github.repository }}
181181
NUMBER: ${{ github.event.pull_request.number }}
182182

@@ -204,7 +204,7 @@ jobs:
204204
- name: 'Close pull request'
205205
run: gh pr close "$NUMBER" --comment "$BODY"
206206
env:
207-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
207+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
208208
GH_REPO: ${{ github.repository }}
209209
NUMBER: ${{ github.event.pull_request.number }}
210210
BODY: |

.github/workflows/check_contributing_guidelines_acceptance.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ jobs:
8787
# Check contributing guidelines acceptance:
8888
- name: 'Check contributing guidelines acceptance'
8989
env:
90-
GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
90+
GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
9191
PR_NUMBER: ${{ github.event.pull_request.number || inputs.pull_request_number }}
9292
run: |
9393
. "$GITHUB_WORKSPACE/.github/workflows/scripts/check_contributing_guidelines_acceptance" $PR_NUMBER

.github/workflows/check_required_files.yml

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -73,12 +73,14 @@ jobs:
7373
# Get list of added files:
7474
- name: 'Get list of added files'
7575
id: added-files
76+
env:
77+
GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
78+
PR_NUMBER: ${{ inputs.pull_request_number }}
7679
run: |
7780
page=1
7881
files=""
7982
while true; do
80-
new_files=$(curl -s -H "Accept: application/vnd.github.v3+json" -H "Authorization: Bearer ${{ secrets.STDLIB_BOT_GITHUB_TOKEN
81-
}}" "https://api.github.com/repos/stdlib-js/stdlib/pulls/${{ inputs.pull_request_number }}/files?page=$page&per_page=100" | jq -r '.[] | select(.status == "added") | .filename')
83+
new_files=$(curl -s -H "Accept: application/vnd.github.v3+json" -H "Authorization: Bearer $GITHUB_TOKEN" "https://api.github.com/repos/stdlib-js/stdlib/pulls/$PR_NUMBER/files?page=$page&per_page=100" | jq -r '.[] | select(.status == "added") | .filename')
8284
if [ -z "$new_files" ]; then
8385
break
8486
fi

.github/workflows/cleanup_coverage.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ jobs:
4343
# Delete the 'pr-<number>' branch from the 'stdlib-js/www-test-code-coverage' repository:
4444
- name: 'Delete coverage branch for PR'
4545
env:
46-
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
46+
REPO_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
4747
PR_NUMBER: ${{ github.event.pull_request.number }}
4848
run: |
4949
curl -X DELETE -H "Authorization: token $REPO_GITHUB_TOKEN" \
@@ -55,7 +55,7 @@ jobs:
5555
# Pin action to full length commit SHA
5656
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
5757
with:
58-
github-token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
58+
github-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
5959
script: |
6060
const prNumber = context.payload.pull_request.number;
6161
const { data: comments } = await github.rest.issues.listComments({

.github/workflows/deprecate_packages.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ jobs:
6161
# Deprecate the specified packages on npm and the respective GitHub repositories:
6262
- name: 'Deprecate packages'
6363
env:
64-
GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
64+
GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
6565
run: |
6666
pkgs='${{ github.event.inputs.packages }}'
6767
npm_names=""

.github/workflows/first_time_greeting.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ jobs:
4747
# Pin action to full length commit SHA
4848
uses: actions/first-interaction@34f15e814fe48ac9312ccf29db4e74fa767cbab7 # v1.3.0
4949
with:
50-
repo-token: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
50+
repo-token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
5151
issue-message: |
5252
:wave: Hi there! :wave:
5353

.github/workflows/generate_pr_commit_message.yml

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -53,14 +53,14 @@ jobs:
5353

5454
# Define environment variables:
5555
env:
56-
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
5756
PR_NUMBER: ${{ github.event.pull_request.number }}
5857

5958
# Define the sequence of job steps...
6059
steps:
6160
# Checkout repository:
6261
- name: 'Checkout repository'
63-
uses: actions/checkout@v4
62+
# Pin action to full length commit SHA
63+
uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
6464
with:
6565
# Fetch all commits to ensure we have the full commit history:
6666
fetch-depth: 0
@@ -87,9 +87,10 @@ jobs:
8787
8888
# Post commit message as PR comment:
8989
- name: 'Post commit message as PR comment'
90-
uses: peter-evans/create-or-update-comment@v4
90+
# Pin action to full length commit SHA
91+
uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0
9192
with:
92-
token: ${{ secrets.CHATBOT_GITHUB_TOKEN }}
93+
token: ${{ secrets.STDLIB_BOT_PAT_REPO_WRITE }}
9394
issue-number: ${{ github.event.pull_request.number }}
9495
body: |
9596
### PR Commit Message

.github/workflows/git_note_amend_message.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -52,9 +52,6 @@ on:
5252
STDLIB_BOT_GITHUB_TOKEN:
5353
description: 'GitHub token for stdlib-bot'
5454
required: true
55-
REPO_GITHUB_TOKEN:
56-
description: 'GitHub token for accessing the repository'
57-
required: true
5855
STDLIB_BOT_GPG_PRIVATE_KEY:
5956
description: 'GPG private key for stdlib-bot'
6057
required: true
@@ -85,7 +82,10 @@ jobs:
8582
fetch-depth: 0
8683

8784
# Token for accessing the repository:
88-
token: ${{ secrets.REPO_GITHUB_TOKEN }}
85+
token: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
86+
87+
# Avoid storing GitHub token in local Git configuration:
88+
persist-credentials: false
8989

9090
# Verify commit exists:
9191
- name: 'Verify commit exists'
@@ -130,7 +130,7 @@ jobs:
130130
# Commit and push changes:
131131
- name: 'Commit and push changes'
132132
env:
133-
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
133+
REPO_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
134134
USER_NAME: stdlib-bot
135135
run: |
136136
git config --local user.email "[email protected]"

.github/workflows/git_note_filter_packages.yml

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -52,9 +52,6 @@ on:
5252
STDLIB_BOT_GITHUB_TOKEN:
5353
description: 'GitHub token for stdlib-bot'
5454
required: true
55-
REPO_GITHUB_TOKEN:
56-
description: 'GitHub token for accessing the repository'
57-
required: true
5855
STDLIB_BOT_GPG_PRIVATE_KEY:
5956
description: 'GPG private key for stdlib-bot'
6057
required: true
@@ -85,7 +82,10 @@ jobs:
8582
fetch-depth: 0
8683

8784
# Token for accessing the repository:
88-
token: ${{ secrets.REPO_GITHUB_TOKEN }}
85+
token: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
86+
87+
# Avoid storing GitHub token in local Git configuration:
88+
persist-credentials: false
8989

9090
# Verify commit exists:
9191
- name: 'Verify commit exists'
@@ -139,7 +139,7 @@ jobs:
139139
# Commit and push changes:
140140
- name: 'Commit and push changes'
141141
env:
142-
REPO_GITHUB_TOKEN: ${{ secrets.REPO_GITHUB_TOKEN }}
142+
REPO_GITHUB_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
143143
USER_NAME: stdlib-bot
144144
run: |
145145
git config --local user.email "[email protected]"

.github/workflows/good_first_issue.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -52,7 +52,7 @@ jobs:
5252
- name: 'Add comment'
5353
run: gh issue comment "$NUMBER" --body "$BODY"
5454
env:
55-
GH_TOKEN: ${{ secrets.STDLIB_BOT_GITHUB_TOKEN }}
55+
GH_TOKEN: ${{ secrets.STDLIB_BOT_FGPAT_PR_WRITE }}
5656
GH_REPO: ${{ github.repository }}
5757
NUMBER: ${{ github.event.issue.number }}
5858
BODY: |

0 commit comments

Comments
 (0)