From 132f65e0ca0fc54b1f457216af82b2da0c325be1 Mon Sep 17 00:00:00 2001 From: Daniel Gröber Date: Sun, 2 Dec 2018 19:58:14 +0100 Subject: git subrepo push --branch=target-selector cabal-plan subrepo: subdir: "cabal-plan" merged: "e36c8ca" upstream: origin: "../cabal-plan" branch: "target-selector" commit: "e36c8ca" git-subrepo: version: "0.4.0" origin: "https://github.com/ingydotnet/git-subrepo.git" commit: "5d6aba9" --- cabal-plan/.gitrepo | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'cabal-plan/.gitrepo') diff --git a/cabal-plan/.gitrepo b/cabal-plan/.gitrepo index 22e29c4..d0ddadd 100644 --- a/cabal-plan/.gitrepo +++ b/cabal-plan/.gitrepo @@ -5,8 +5,8 @@ ; [subrepo] remote = ../cabal-plan - branch = master - commit = cd93de6ab26a15383ea9bea3005cec486be9af95 - parent = afed7936ebb2ace14bc93535019b638130b451ab + branch = target-selector + commit = e36c8ca8d4a2efd1dc83d5fd1f0193ebff3840b9 + parent = ee2f7ab509bdfbad38d54691cf781c08cdba9792 cmdver = 0.4.0 method = merge -- cgit v1.2.3