github mirror fixed

[Martin Preisler]

Hi,
I have stripped the pull requests and related commits and push forced to a state that is merge-able with a fast-forward type merge. I have synced the repos. Trying out pull requests is fine but will create a mess, especially if we strip them like this. The github repo now has a pull request that says it was merged but isn't actually in the repo.

https://github.com/OpenSCAP/scap-security-guide

Any news related to moving to a better development model than sending patches around on mailing lists like cavemen? ;-D