.idea/workspace set ignored for push