github: fix github wokflow while pushing a tag
[fw/openocd] / ChangeLog
1 Retired in favor of git log.