[skip ci] does not notify github

Currently when you signal a build to be skipped by doing [skip ci] nothing (neither success nor fail) will be signalled to github. This defeats requires checks. It is sometimes the use case that people use the skip ci feature responsibly and want to configure their repository required checks accordingly.