Comment 4 for bug 1769774

$ dconf read /org/gnome/desktop/interface/monospace-font-name
'Hack Regular 10'

Hope that helps.