Steven Jacobs has submitted this change and it was merged.

Change subject: Remove git.properties From .gitignore
......................................................................


Remove git.properties From .gitignore

git.properites is no longer generated outside of **/target/**, removing
it from .gitignore

Change-Id: Iabaffed416ddc0737923e160796672242ed08557
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1628
Sonar-Qube: Jenkins <[email protected]>
Tested-by: Jenkins <[email protected]>
Reviewed-by: Steven Jacobs <[email protected]>
Integration-Tests: Jenkins <[email protected]>
---
M .gitignore
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Steven Jacobs: Looks good to me, approved
  Jenkins: Verified; No violations found; Verified

Objections:
  Jenkins: Violations found



diff --git a/.gitignore b/.gitignore
index 6040d79..31dda11 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,7 +13,6 @@
 .idea
 *.ipr
 *.iws
-git.properties
 exception
 dev1
 dev2

-- 
To view, visit https://asterix-gerrit.ics.uci.edu/1628
To unsubscribe, visit https://asterix-gerrit.ics.uci.edu/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iabaffed416ddc0737923e160796672242ed08557
Gerrit-PatchSet: 2
Gerrit-Project: asterixdb
Gerrit-Branch: master
Gerrit-Owner: Michael Blow <[email protected]>
Gerrit-Reviewer: Jenkins <[email protected]>
Gerrit-Reviewer: Steven Jacobs <[email protected]>

Reply via email to