| #!/usr/bin/env python | |
| import argparse | |
| def main(command_line=None): | |
| parser = argparse.ArgumentParser('Blame Praise app') | |
| parser.add_argument( | |
| '--debug', | |
| action='store_true', | |
| help='Print debug info' |
| # %matplotlib inline | |
| import pandas as pd | |
| import numpy as np | |
| import keras | |
| import tensorflow as tf | |
| import os | |
| from keras.models import Model | |
| from keras.layers import Input, Embedding, merge | |
| from keras.layers.core import Flatten, Dense, Dropout, Lambda |
| # 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 |
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: