File tree 1 file changed +10
-10
lines changed
1 file changed +10
-10
lines changed Original file line number Diff line number Diff line change @@ -76,16 +76,16 @@ This script is here to allow managing a git repository in the directory it
76
76
resides in as a sort of cache, usable as a reference git repo for faster
77
77
clones e.g. in a CI environment.
78
78
79
- NOTE: Development of this script has been separated into
80
- https://github.com/jimklimov/git-refrepo-scripts
81
- to better align with related evolution of Jenkins Git Client plugin
82
- proposed in https://github.com/jenkinsci/git-client-plugin/pull/644
83
-
84
- * * Thanks to bits of wisdom at https://stackoverflow.com/a/57133963/4715872
85
- and https://pcarleton.com/2016/11/10/ssh-proxy/ I now know that if we have
86
- overloaded our firewall banging SSH repos at ` github.com:22 ` we can also
87
- fetch over make-believe HTTPS port including over a proxy like Squid with
88
- ` ProxyCommand ` line un-commented below):
79
+ NOTE: Development of this script has been separated into
80
+ https://github.com/jimklimov/git-refrepo-scripts
81
+ to better align with related evolution of Jenkins Git Client plugin
82
+ proposed in https://github.com/jenkinsci/git-client-plugin/pull/644
83
+
84
+ * Thanks to bits of wisdom at https://stackoverflow.com/a/57133963/4715872
85
+ and https://pcarleton.com/2016/11/10/ssh-proxy/ I now know that if we have
86
+ overloaded our firewall banging SSH repos at `github.com:22` we can also
87
+ fetch over make-believe HTTPS port including over a proxy like Squid with
88
+ `ProxyCommand` line un-commented below):
89
89
````
90
90
### ~/.ssh/config
91
91
Host github.com
You can’t perform that action at this time.
0 commit comments