dmr (daniel radetsky)
- Login: dmr
- Registered on: 08/08/2019
- Last sign in: 08/08/2019
Issues
open | closed | Total | |
---|---|---|---|
Assigned issues | 0 | 0 | 0 |
Reported issues | 0 | 1 | 1 |
Activity
08/08/2019
- 04:20 PM Ruby master Misc #16089: Explain that github prs do not get merged
- I actually realize that this is wrong & that technically it's "accepted pull requests are _often_ closed, not merged,...
- 04:19 PM Ruby master Misc #16089 (Closed): Explain that github prs do not get merged
- The fact that fixes which are accepted still get closed, rather than being merged, is confusing. The (easiest) soluti...
08/07/2019
- 01:25 PM Ruby master Revision 82527d9b (git): fix spelling
- Closes: https://github.com/ruby/ruby/pull/2323
Also available in: Atom