diff hgext3rd/topic/randomname.py @ 6642:196babdbb593

topic: we no longer add --publish to push command, it's just there Also copywrite the rest of the section.
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 06 Jan 2024 17:08:01 -0300
parents a456706491c0
children
line wrap: on
line diff