notklaatu@archer72 I suggested pushing HEAD because not all "main" branches are called master but HEAD is always HEAD. I ran into that with a few repos when I was transferring stuff; one repo's main branch would be called development, or trunk, or something unexpected, so pushing HEAD was more generic and safer.
Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.
All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.