Skip to content

Add script to downstream PRs. #39

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

Merged
merged 9 commits into from
Nov 28, 2022
Merged

Add script to downstream PRs. #39

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
b59afb9
Add script to downstream PRs from aesara.
twiecki Nov 26, 2022
bc1e689
Do not replace at -> pt.
twiecki Nov 26, 2022
14d912e
Add better description, simplify sed statement. Add instructions to f…
twiecki Nov 27, 2022
ba3bbc8
Exit upon error.
twiecki Nov 27, 2022
90f2ecb
Better PR description.
twiecki Nov 27, 2022
0dfa57a
Typo
twiecki Nov 27, 2022
eab8ad9
Remove commented lines.
twiecki Nov 27, 2022
6dd76e2
Update bin/downstream_pr.sh
twiecki Nov 27, 2022
b2fbbfe
Update bin/downstream_pr.sh
twiecki Nov 27, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
43 changes: 43 additions & 0 deletions bin/downstream_pr.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
#!/bin/bash

if [ -z "$1" ]
then
echo "Usage: downstream_pr.sh <PR_number>"
echo "Port a specified PR from the Aesara repo to the PyTensor repo. Will create a new branch, adapt and apply the upstream PR, and create a new PR to PyTensor."
exit 1
fi

set -e

git checkout main
git pull origin main
git checkout -b downstream_$1

echo "Downloading patch..."
wget -O $1.patch https://patch-diff.githubusercontent.com/raw/aesara-devs/aesara/pull/$1.patch

echo "Replacing aesara strings..."
declare -a replace_strings=(
"s/aesara/pytensor/g"
"s/Aesara/PyTensor/g"
)

for replace in "${replace_strings[@]}"; do
sed -i -e "$replace" $1.patch
done

echo "Applying patch..."
if git am -3 --reject $1.patch ; then
echo "Patch applied successfully..."
else
echo "Patch failed. Find the .rej file and apply the changes manually. Then 'git add' all changed files, followed by 'git am --continue'. Then create a PR manually."
exit 1
fi

echo "Running pre-commit"
pre-commit run --all

git push origin downstream_$1
# get the informative title
title=$(curl https://api.github.com/repos/aesara-devs/aesara/pulls/$1 2>/dev/null | jq '.title')
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."