Skip to content

Instantly share code, notes, and snippets.

View omavi's full-sized avatar

omavi

  • Webflow
  • Richmond, Virginia
  • 17:03 (UTC -04:00)
View GitHub Profile
@jlia0
jlia0 / agent loop
Last active May 10, 2025 18:10
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
@ghaiklor
ghaiklor / iterm-fish-fisherman-meslo-osx.md
Last active July 18, 2024 08:26
iTerm 2 + fish + fisherman + Material Design + Meslo
@piscisaureus
piscisaureus / pr.md
Created August 13, 2012 16:12
Checkout github pull requests locally

Locate the section for your github remote in the .git/config file. It looks like this:

[remote "origin"]
	fetch = +refs/heads/*:refs/remotes/origin/*
	url = [email protected]:joyent/node.git

Now add the line fetch = +refs/pull/*/head:refs/remotes/origin/pr/* to this section. Obviously, change the github url to match your project's URL. It ends up looking like this: