Lucas Rodés-Guirao lucasrodes

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:

	from selenium import webdriver
	from selenium.webdriver.common.keys import Keys
	from selenium.webdriver.common.by import By
	from selenium.webdriver.support.ui import WebDriverWait
	from selenium.webdriver.support import expected_conditions as EC
	from selenium.webdriver.firefox.options import Options

	import time
	from random import random

	#!/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