search

deep-gaurav / rusty_pipe

GNU General Public License v3.0
22 stars 1 forks source link

Create LICENSE #5

Closed deep-gaurav closed 4 years ago

deep-gaurav commented 4 years ago

address #4

B0pol commented 4 years ago

You should use a close keyword, here is the list

https://docs.github.com/en/free-pro-team@latest/github/managing-your-work-on-github/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword

So that the issue would be closed when you merge the pull request

deep-gaurav commented 4 years ago

You should use a close keyword, here is the list

https://docs.github.com/en/free-pro-team@latest/github/managing-your-work-on-github/linking-a-pull-request-to-an-issue#linking-a-pull-request-to-an-issue-using-a-keyword

So that the issue would be closed when you merge the pull request

Oh ok, didn't knew that was a thing, thanks.