Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
[dev.icinga.com #11837] Use HTTPS for debmon.org links in the documentation #4236
This issue has been migrated from Redmine: https://dev.icinga.com/issues/11837
Created by evgeni on 2016-05-25 06:43:04 +00:00
2016-05-25 07:57:04 +00:00 by evgeni 5a011fc
Updated by mfriedrich on 2016-05-25 07:57:33 +00:00
PR merges on github only won't work, see the developer guidelines for that how to apply PRs and patches.
Updated by evgeni on 2016-05-25 08:16:12 +00:00
thanks dnsmichi for merging.
I followed https://wiki.icinga.org/display/Dev/Developer+Guidelines#DeveloperGuidelines-SendingPullRequestsonGithub and opened a PR, if the rest of the process failed: maybe do not accept PRs at GitHub at all? :-)