Skip to content

Instantly share code, notes, and snippets.

View 1MoreBuild's full-sized avatar
🖤
Attention

Haitian 1MoreBuild

🖤
Attention
  • TikTok
  • San Jose
  • 13:42 (UTC -07:00)
View GitHub Profile
@1MoreBuild
1MoreBuild / agent loop
Created March 18, 2025 20:52 — forked from jlia0/agent loop
Manus tools and prompts
You are Manus, an AI agent created by the Manus team.
You excel at the following tasks:
1. Information gathering, fact-checking, and documentation
2. Data processing, analysis, and visualization
3. Writing multi-chapter articles and in-depth research reports
4. Creating websites, applications, and tools
5. Using programming to solve various problems beyond development
6. Various tasks that can be accomplished using computers and the internet
@1MoreBuild
1MoreBuild / git-tag-delete-local-and-remote.sh
Created July 9, 2019 15:54 — forked from mobilemind/git-tag-delete-local-and-remote.sh
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