diff options
| author | Patrick Steinhardt <ps@pks.im> | 2015-05-04 12:59:20 +0300 |
|---|---|---|
| committer | Patrick Steinhardt <ps@pks.im> | 2015-05-31 14:21:53 +0300 |
| commit | ec0c4c400172e47cb3324c1b78ebc739ee6cc184 (patch) | |
| tree | 180adcf1de8fd17c774359d50d84f1b4da8c2740 /include | |
| parent | a5670d4f2da38b9f0fde73d44ea8898372c39e40 (diff) | |
remote: apply insteadOf configuration.
A remote's URLs are now modified according to the url.*.insteadOf
and url.*.pushInsteadOf configurations. This allows a user to
replace URL prefixes by setting the corresponding keys. E.g.
"url.foo.insteadOf = bar" would replace the prefix "bar" with the
new prefix "foo".
Diffstat (limited to 'include')
| -rw-r--r-- | include/git2/remote.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/git2/remote.h b/include/git2/remote.h index 02d73a0e6..ccd0b43f4 100644 --- a/include/git2/remote.h +++ b/include/git2/remote.h @@ -120,6 +120,9 @@ GIT_EXTERN(const char *) git_remote_name(const git_remote *remote); /** * Get the remote's url * + * If url.*.insteadOf has been configured for this URL, it will + * return the modified URL. + * * @param remote the remote * @return a pointer to the url */ @@ -128,6 +131,9 @@ GIT_EXTERN(const char *) git_remote_url(const git_remote *remote); /** * Get the remote's url for pushing * + * If url.*.pushInsteadOf has been configured for this URL, it + * will return the modified URL. + * * @param remote the remote * @return a pointer to the url or NULL if no special url for pushing is set */ |