[Agda-dev] Run the testsuite before pushing to master

[Andreas Abel]

Folks,

don't forget your manners:

   - before pushing to master, run the testsuite through
   - if you want travis take care of this, work with pull requests

If you think you can predict whether the testsuite will run through 
cleanly after your changes, let me assure you, you are most likely 
wrong.  I have been there many times.

Best,
Andreas


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/