diff options
author | Amit Dey <35510446+amitdey1987@users.noreply.github.com> | 2018-07-04 08:36:09 -0700 |
---|---|---|
committer | Salvatore Sanfilippo <antirez@gmail.com> | 2018-07-09 13:14:57 +0200 |
commit | a3a5a25fa03a591b84c4d88f313c510dcec989cf (patch) | |
tree | 54e50511b42d7adfd491756ea7ba663b5d5308fe /CONTRIBUTING | |
parent | 289d8d9c2cb618a3099e3bf1d548087e4c6954cd (diff) | |
download | redis-a3a5a25fa03a591b84c4d88f313c510dcec989cf.tar.gz |
fixing broken link in CONTRIBUTING
http://help.github.com/send-pull-requests/
is no longer supported
this change modifies the link to the working one
https://help.github.com/articles/creating-a-pull-request/
Diffstat (limited to 'CONTRIBUTING')
-rw-r--r-- | CONTRIBUTING | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CONTRIBUTING b/CONTRIBUTING index 5b0f02953..7dee24c74 100644 --- a/CONTRIBUTING +++ b/CONTRIBUTING @@ -32,7 +32,7 @@ each source file that you contribute. a. Fork Redis on github ( http://help.github.com/fork-a-repo/ ) b. Create a topic branch (git checkout -b my_branch) c. Push to your branch (git push origin my_branch) - d. Initiate a pull request on github ( http://help.github.com/send-pull-requests/ ) + d. Initiate a pull request on github ( https://help.github.com/articles/creating-a-pull-request/ ) e. Done :) For minor fixes just open a pull request on Github. |