9 Commits

Author	SHA1	Message	Date
Gaëtan Harter	ef13d91bed	tools/check: use RIOTTOOLS variable ... Follow up to #9067 and part of #8821	2018-05-14 15:47:53 +02:00
Alexandre Abadie	dcc1ae393c	dist/tools/pr_check: fix regex pattern to recognize any SHA	2017-11-13 16:43:12 +01:00
Kaspar Schleiser	b916a58ed4	dist: tools: pr_check: adapt to RIOT CI	2016-03-12 00:54:43 +01:00
Thomas Eichinger	72ee60b9d5	scripts: remove hardcoding of bash hashbang ... For host systems like FreeBSD, bash binary is found in a different path.	2015-11-25 16:20:56 +01:00
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