History

tools/merge-all-source-plugins: Try merging a tag or branch matching the current version

Michael Niedermayer committed 1 year ago

Commit a06b86a1 parent 12b85351 file · +25 −1Browse files

Unified · Split

tools/merge-all-source-plugins+25−1
@@ -1,3 +1,27 @@
11 #!/bin/sh
22
3−git pull --no-rebase --log --stat --commit --no-edit https://github.com/michaelni/FFmpeg.git sourceplugin-libpostproc
3+#If a version is set then we only try merging a source plugin with matching version as a generic one could change the ABI to master HEAD
4+merge_internal(){ # $1=repository, $2=refspec
5+ [ -n "$version" ] && git pull --no-rebase --log --stat --commit --no-edit $1 sourceplugin-$2-$version
6+ [ -z "$version" ] && git pull --no-rebase --log --stat --commit --no-edit $1 sourceplugin-$2
7+}
8+
9+unset suceeded failed version
10+
11+merge(){ # $1=repository, $2=refspec
12+ merge_internal "$1" "$2" || {
13+ git reset --hard
14+ echo merge of $1 $2 failed, continuing with other plugins
15+ failed="$failed $2"
16+ return 0
17+ }
18+ suceeded="$suceeded $2"
19+}
20+
21+#version="12.34"
22+
23+merge "https://github.com/michaelni/FFmpeg.git" "libpostproc"
24+
25+[ -n "$version" ] && echo version: $version
26+[ -n "$suceeded" ] && echo Succeeded merging: $suceeded
27+[ -n "$failed" ] && echo Failed merging: $failed

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t