Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/blog/1506-closing-issues-via-pull-requests/ below:

Closing Issues via Pull Requests

It’s been possible to close an issue from a commit for quite a while, but some issues take more work than a single commit to close. That’s why you can…

| 1 minutes

• Share:

It’s been possible to close an issue from a commit for quite a while, but
some issues take more work than a single commit to close. That’s why you
can now close an issue from a Pull Request. All you have to do is include the
special keyword syntax (eg. “fixes #5”) in the body of your Pull Request.

And the referenced issue will automatically be closed when the PR is merged
into the default branch.

You will even see the references as pending fixes before merging.

This works the same way closing an issue from a commit message does.
It even works across repositories.

Happy bug fixing!

tl;dr: I am stepping down as GitHub CEO to build my next adventure. GitHub is thriving and has a bright future ahead. The following is the internal post I sent to GitHub employees (Hubbers) this morning announcing my departure.

Everything you need to master GitHub, all in one place.

Build what’s next on GitHub, the place for anyone from anywhere to build anything.

Meet the companies and engineering teams that build with GitHub.

Last chance: Save $700 on your IRL pass to Universe and join us on Oct. 28-29 in San Francisco.

Discover tips, technical guides, and best practices in our biweekly newsletter just for devs.

Your email address

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4