We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
downstream aesara
1 parent 16d1cbe commit 377e0d5Copy full SHA for 377e0d5
bin/downstream_pr.sh
@@ -43,4 +43,4 @@ pre-commit run --all
43
git push origin downstream_$1
44
# get the informative title
45
title=$(curl https://api.github.com/repos/aesara-devs/aesara/pulls/$1 2>/dev/null | jq '.title')
46
-gh pr create --repo pymc-devs/pytensor --title "Downstreaming Aesara PR $1: $title" --body "Downstreaming https://github.com/aesara-devs/aesara/pull/$1. PR port done by downstream_pr.sh script."
+gh pr create --repo pymc-devs/pytensor --label "aesara downstream" --title "🔄 From Aesara: $1: $title" --body "Downstreaming https://github.com/aesara-devs/aesara/pull/$1. PR port done by downstream_pr.sh script."
0 commit comments