search

Overdrivr / micro-ci

Continuous Integration for embedded platforms
0 stars 0 forks source link

Improve commit identification in github webhook #77

Open Overdrivr opened 8 years ago

Overdrivr commented 8 years ago

In github webhook, commits should be also identified by platform: github and not just by their hash, to make sure they will be truly unique accross multiple platforms