Skip to content

Instantly share code, notes, and snippets.

View Teddy-van-Jerry's full-sized avatar

Teddy van Jerry Teddy-van-Jerry

View GitHub Profile
@Teddy-van-Jerry
Teddy-van-Jerry / mmCEsim_Report_Example.rpt
Created September 17, 2022 16:18
mmCEsim Report (.rpt) Example
#------------------------------------------------------------------------------
# Title : mmWave MIMO model
# Description: Simple Functional Test with OMP
# Author : Wuqiong Zhao
# Time : 2022-09-18 00:10:47 (UTC +0800)
#
# Report generated by mmCEsim 0.1.0.
# GitHub organization at https://github.com/mmcesim.
# Web app is available at https://app.mmcesim.org.
# Visit https://mmcesim.org for more information.
@mobilemind
mobilemind / git-tag-delete-local-and-remote.sh
Last active December 17, 2024 08:06
how to delete a git tag locally and remote
# delete local tag '12345'
git tag -d 12345
# delete remote tag '12345' (eg, GitHub version too)
git push origin :refs/tags/12345
# alternative approach
git push --delete origin tagName
git tag -d tagName