[19:57] finally merged PR #162 sysconfig suse/rhel flavors Thanks robjo [19:58] Thanks [20:22] now what? [20:22] how do we undo that hack? 😜 [20:24] git reset HEAD~1 [20:44] heh [20:52] oops, I forgot --hard