tree a02da0d9e13bb409349391a91cbb814cecfa100c
parent 851d3ff4de964bf5ac17b6578dfb2cecb5f89099
author Henner Zeller <h.zeller@acm.org> 1743358796 -0700
committer Henner Zeller <h.zeller@acm.org> 1743360324 -0700

Add a .github/bin/before-submit.sh script

A little convenience script to run all the diagnostics the
CI would also do.

Also update some developer resources documentation.