Add PR description to merge commit in github-merge.py
tree600b4ddd895e915d97ee5d4b42e76d1dada3f811
-rw-r--r-- 35 .gitattributes
drwxr-xr-x - .github
-rw-r--r-- 1364 .gitignore
-rw-r--r-- 5045 .travis.yml
drwxr-xr-x - .tx
-rw-r--r-- 13171 CONTRIBUTING.md
-rw-r--r-- 1099 COPYING
-rw-r--r-- 161 INSTALL.md
-rw-r--r-- 10666 Makefile.am
-rw-r--r-- 3600 README.md
-rwxr-xr-x 527 autogen.sh
drwxr-xr-x - build-aux
-rw-r--r-- 44686 configure.ac
drwxr-xr-x - contrib
drwxr-xr-x - depends
drwxr-xr-x - doc
-rw-r--r-- 295 libbitcoinconsensus.pc.in
drwxr-xr-x - share
drwxr-xr-x - src
drwxr-xr-x - test