File tree Expand file tree Collapse file tree 2 files changed +2
-1
lines changed Expand file tree Collapse file tree 2 files changed +2
-1
lines changed Original file line number Diff line number Diff line change @@ -220,6 +220,7 @@ readonly independent=(
220220 kernel_common-6.12
221221 kernel_manifest-6.1
222222 kernel_manifest-6.6
223+ kernel_manifest-6.12
223224 kernel_manifest-pixel
224225 platform_external_AppCompatConfig
225226 platform_external_AppStore
Original file line number Diff line number Diff line change @@ -94,7 +94,7 @@ for repo in ${independent[@]}; do
9494 git tag -d $tag_name || true
9595 git push origin --delete $tag_name || true
9696 elif [[ $action == release ]]; then
97- if [[ $repo == @ (kernel_manifest-pixel| kernel_manifest-6.1| kernel_manifest-6.6) ]]; then
97+ if [[ $repo == @ (kernel_manifest-pixel| kernel_manifest-6.1| kernel_manifest-6.6| kernel_manifest-6.12 ) ]]; then
9898 git checkout -B tmp
9999 sed -i s%refs/heads/$branch %refs/tags/$tag_name % default.xml
100100 git commit default.xml -m $tag_name
You can’t perform that action at this time.
0 commit comments