Skip to content
This repository was archived by the owner on Mar 29, 2024. It is now read-only.

Commit 8680f52

Browse files
committed
Add script to publish stubs subspit [skip ci]
1 parent 947b069 commit 8680f52

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

scripts/subsplit.sh

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
#!/bin/bash
2+
3+
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )/.." && pwd )"
4+
5+
cd $DIR
6+
7+
if [ -d ".subsplit" ]; then
8+
git subsplit update
9+
else
10+
git subsplit init .
11+
fi
12+
13+
git subsplit publish --heads="master" stubs:git@github.com:pinepain/php-v8-stubs.git

0 commit comments

Comments
 (0)