1+ ////usr/bin/env jbang "$0" "$@" ; exit $?
2+
13import java .io .File ;
24import java .util .List ;
35import java .util .Optional ;
1517import org .kohsuke .github .GitHubBuilder ;
1618import org .kohsuke .github .PagedIterator ;
1719
18- ///usr/bin/env jbang "$0" "$@" ; exit $?
19-
2020//JAVA 21+
2121//RUNTIME_OPTIONS --enable-native-access=ALL-UNNAMED
2222
@@ -62,7 +62,7 @@ public static void main(String[] args) throws Exception {
6262 while (prIterator .hasNext ()) {
6363 pr = prIterator .next ();
6464 if ((contributor .isEmpty () || pr .getHead ().getUser ().getLogin ().equals (contributor )) &&
65- pr .getHead ().getRef ().equals (branchName )) {
65+ pr .getHead ().getRef ().equals (branchName )) {
6666 found = true ;
6767 System .out .println ("Found pull request #" + pr .getNumber ());
6868 break ;
@@ -165,9 +165,9 @@ private static void checkoutUpstreamMain() throws Exception {
165165 // Check if a remote pointing to JabRef/jabref already exists
166166 List <RemoteConfig > remotes = git .remoteList ().call ();
167167 Optional <RemoteConfig > jabrefRemote = remotes .stream ()
168- // We use "contains", because there could be SSH remote URLs
169- .filter (r -> r .getURIs ().stream ().anyMatch (uri -> uri .toString ().contains ("JabRef/jabref" )))
170- .findFirst ();
168+ // We use "contains", because there could be SSH remote URLs
169+ .filter (r -> r .getURIs ().stream ().anyMatch (uri -> uri .toString ().contains ("JabRef/jabref" )))
170+ .findFirst ();
171171
172172 String remoteToUse ;
173173 if (jabrefRemote .isPresent ()) {
@@ -176,9 +176,9 @@ private static void checkoutUpstreamMain() throws Exception {
176176 } else {
177177 System .out .println ("Adding remote 'upstream' pointing to " + jabrefRepoUrl );
178178 git .remoteAdd ()
179- .setName (upstreamName )
180- .setUri (new URIish (jabrefRepoUrl ))
181- .call ();
179+ .setName (upstreamName )
180+ .setUri (new URIish (jabrefRepoUrl ))
181+ .call ();
182182 remoteToUse = upstreamName ;
183183 }
184184
0 commit comments