Jefferson Carvalho JeffersonCarvalh0

Sometimes you need to keep two upstreams in sync with eachother. For example, you might need to both push to your testing environment and your GitHub repo at the same time. In order to do this simultaneously in one git command, here's a little trick to add multiple push URLs to a single remote.

Once you have a remote set up for one of your upstreams, run these commands with:

git remote set-url --add --push [remote] [original repo URL]
git remote set-url --add --push [remote] [second repo URL]

Once set up, git remote -v should show two (push) URLs and one (fetch) URL. Something like this:

Project Title

One Paragraph of project description goes here

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.

Prerequisites

Sometimes you need to keep two upstreams in sync with eachother. For example, you might need to both push to your testing environment and your GitHub repo at the same time. In order to do this simultaneously in one git command, here's a little trick to add multiple push URLs to a single remote.

Once you have a remote set up for one of your upstreams, run these commands with:

git remote set-url --add --push [remote] [original repo URL]
git remote set-url --add --push [remote] [second repo URL]

Once set up, git remote -v should show two (push) URLs and one (fetch) URL. Something like this:

The introduction to Reactive Programming you've been missing

(by @andrestaltz)

This tutorial as a series of videos

If you prefer to watch video tutorials with live-coding, then check out this series I recorded with the same contents as in this article: Egghead.io - Introduction to Reactive Programming.

	# Adaptado da página oficial do pgAdmin: https://www.pgadmin.org/download/pgadmin-4-apt/
	# Testado na versão 20.3 (una)

	#
	# Setup the repository
	#

	# Install the public key for the repository (if not done previously):
	sudo curl https://www.pgadmin.org/static/packages_pgadmin_org.pub \| sudo apt-key add

	// In TS, interfaces are "open" and can be extended
	interface Date {
	/**
	* Give a more precise return type to the method `toISOString()`:
	* https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Date/toISOString
	*/
	toISOString(): TDateISO;
	}

	type TYear = `${number}${number}${number}${number}`;

	rofi.color-window: argb:EE373B47, #373B47
	rofi.color-normal: argb:00373B47, #737783, argb:00373B47, argb:00373B47, #f9f9f9
	rofi.color-urgent: argb:00373B47, #cc6666, argb:e54b5160, argb:00373B47, #f9f9f9
	rofi.color-active: argb:00373B47, #65acff, argb:e44b5160, argb:00373B47, #f9f9f9
	rofi.width: 30
	rofi.lines: 16
	rofi.font: Open Sans Light 25
	rofi.bw: 0
	rofi.padding: 40
	rofi.eh: 1

	/**
	* Making promises
	*/
	let okPromise = Js.Promise.make((~resolve, ~reject as _) => [@bs] resolve("ok"));

	/* Simpler promise creation for static values */
	Js.Promise.resolve("easy");

	Js.Promise.reject(Invalid_argument("too easy"));

	[~] rofi -dump-xresources
	The script command 'window' has 1 options, but needs 2: <name>:<script>.
	Invalid script switcher: window
	! Enabled modi
	rofi.modi: window,run,ssh
	! Window opacity
	rofi.opacity: 100
	! Window width
	rofi.width: 50
	! Number of lines

	#!/bin/sh

	STAGED_FILES=$(git diff --cached --name-only --diff-filter=ACM \| grep ".jsx\{0,1\}$")

	if [[ "$STAGED_FILES" = "" ]]; then
	exit 0
	fi

	PASS=true