From 11107a4121de4fe8e2519677170e03844a82ca78 Mon Sep 17 00:00:00 2001
From: Idel Pivnitskiy <ipivnitskiy@apple.com>
Date: Sun, 2 Aug 2020 22:51:53 -0700
Subject: [PATCH] Ignore `.shelf/` folder generated by IntelliJ IDEA (#10445)

Motivation:

IntelliJ IDEA may generate a local folder `.shelf/` for version control.
For more information, see
https://www.jetbrains.com/help/idea/shelving-and-unshelving-changes.html

Modifications:

- Add `.shelf/` folder to the `.gitignore` file;

Result:

IntelliJ IDEA's `.shelf/` folder is ignored by git.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 8af92c733e..5188d6518b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 *.ipr
 *.iws
 .idea/
+.shelf/
 
 # Geany project file
 .geany