File gnome-builder-rpmlintrc of Package gnome-builder

# gnome-builder is an IDE - it is for development purpose by definition
addFilter("devel-file-in-non-devel-package")