[gjs: 2/2] Merge branch 'tagged' into 'master'

From: Philip Chimento <pchimento src gnome org>
To: commits-list gnome org
Cc:
Subject: [gjs: 2/2] Merge branch 'tagged' into 'master'
Date: Thu, 5 Jul 2018 07:59:51 +0000 (UTC)

commit 7ce6cdad053931763b291b2438134a47f14dd7a3
Merge: ff844c61 4ec2e082
Author: Philip Chimento <philip chimento gmail com>
Date:   Thu Jul 5 07:59:00 2018 +0000

    Merge branch 'tagged' into 'master'
    
    CI: do not run linters on tagged commits
    
    See merge request GNOME/gjs!181

 test/test-ci.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
---

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]