{"ref":"choose-typo-fix","ref_type":"branch","master_branch":"master","description":"Configuration tool for the Raspberry Pi. Now maintained at https://github.com/RPi-Distro/raspi-config","pusher_type":"user"}