{"head":"eb1167b6d8d484489146d0511ef9bce596b618b7","size":1,"push_id":44405309,"shas":[["eb1167b6d8d484489146d0511ef9bce596b618b7","aa743a0aaec8f7d7a1f01442503957f4d7a2d634@david-weber.com","make script list the device file after creating it","David Weber"]],"ref":"refs/heads/master"}