1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

5 Commits

Author SHA1 Message Date
BytesGalore
7df0d9b636 travis: enable travis build on set github label Ready for CI build 2015-05-24 09:19:05 +02:00
Lucas Jenss
b2115d2bdb Make clear that "labels" refers to the ones set on GitHub 2015-05-18 11:51:58 +02:00
Martine Lenders
0eb2d78dda doc: use my real name 2015-02-08 18:52:16 +01:00
Martine Lenders
7642f7bb15 pr_check: Fix matching
Fixes #2125
2014-12-03 12:29:30 +01:00
Martine Lenders
7713fa87dd travis: check PRs if they need squashing or depend on other PRs 2014-12-01 14:04:01 +01:00