| #!/usr/bin/env python | |
| #-*- coding: utf-8 -*- | |
| # This program is free software: you can redistribute it and/or modify | |
| # it under the terms of the GNU General Public License as published by | |
| # the Free Software Foundation, either version 3 of the License, or | |
| # (at your option) any later version. | |
| # | |
| # This program is distributed in the hope that it will be useful, | |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
This gist documents a problem with MySQL Workbench, which may be related to an SQL parser bug in MySQL, I'm not 100% certain yet.
This is repeatable with MySQL 5.5.25 on Windows 8, I have not tested this on other versions or environments yet.
First, create a database and populate it with two tables for testing:
DROP DATABASE IF EXISTS `test`;
USE `test`;
I will maybe someday get around to dusting off my C and making these changes myself unless someone else does it first.
Imagine a long-running development branch periodically merges from master. The
git log --graph --all --topo-order is not as simple as it could be, as of git version 1.7.10.4.
It doesn't seem like a big deal in this example, but when you're trying to follow the history trails in ASCII and you've got several different branches displayed at once, it gets difficult quickly.
| 0 - Blues | |
| 1 - Classic Rock | |
| 2 - Country | |
| 3 - Dance | |
| 4 - Disco | |
| 5 - Funk | |
| 6 - Grunge | |
| 7 - Hip-Hop | |
| 8 - Jazz | |
| 9 - Metal |
| 😄 | 😆 | 😊 | 😃 |
😩 | 😔 | 😞 | 😖 | 😨 | 😰 | 😣 | 😢 | 😭 | 😂 | 😲 | 😱 | 
| 😫 | 😠 | 😡 | 😤 | 😪 | 😋 | 😷
😎 | 😵 | 👿 | 😈 | 😐 | 😶 | 😇 | 👽 | 💛 | 💙 | 💜 | ❤️ | 💚 | 💔 | 💓 | 💗 | 💕 | 💞 | 💘 | ✨
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 = git@github.com: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:
| ################################################################# | |
| ## Written by: Assil Ksiksi ## | |
| ## ## ## ## | |
| ## Scrapes IMDB for movie IDs, makes API requests, then writes ## | |
| ## the results to a database. ## | |
| ## ## ## ## | |
| ################################################################# | |
| import re, requests, sqlite3, json, time |
This gist assumes:
Awesome PHP has been relocated permanently to its own Github repository. No further updates will made to this gist.
Please open an issue for any new suggestions.
| To remove a submodule you need to: | |
| Delete the relevant line from the .gitmodules file. | |
| Delete the relevant section from .git/config. | |
| Run git rm --cached path_to_submodule (no trailing slash). | |
| Commit and delete the now untracked submodule files. |