Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 1095829d9ffe0ae7d7f729b7d516bdb873fe1e61 https://github.com/phpmyadmin/phpmyadmin/commit/1095829d9ffe0ae7d7f729b7d516... Author: Michal Čihař <michal@cihar.com> Date: 2017-05-15 (Mon, 15 May 2017) Changed paths: M test/ci-lint Log Message: ----------- Avoid linting removed files We can not lint files which have been removed in the commit. Signed-off-by: Michal Čihař <michal@cihar.com>