Use -f to push maint
tree94dc395e56f373969726fbeb2103ec4a5c3487e9
lrwxrwxrwx 16 .dir-locals.el -> .dir-settings.el
-rw-r--r-- 75 .dir-settings.el
-rw-r--r-- 772 .gitignore
-rw-r--r-- 178 .gitmodules
drwxr-xr-x - BUGFIXING
drwxr-xr-x - EXPERIMENTAL
-rw-r--r-- 13941 Makefile
drwxr-xr-x - ORGWEBPAGE
-rw-r--r-- 1221 README
-rw-r--r-- 1057 README_DIST
-rw-r--r-- 3300 README_GIT
-rw-r--r-- 3018 README_maintainer
drwxr-xr-x - UTILITIES
drwxr-xr-x - contrib
drwxr-xr-x - doc
drwxr-xr-x - lisp
-rw-r--r-- 1007 request-assign-future.txt
drwxr-xr-x - testing