passivebot

# Required libraries
from selenium import webdriver
from selenium.webdriver.common.keys import Keys
from webdriver_manager.chrome import ChromeDriverManager

# Define Brave path
brave_path = "C:/Program Files/BraveSoftware/Brave-Browser/Application/brave.exe"
options = webdriver.ChromeOptions()
options.binary_location = brave_path

mndambuki

You've probably stumbled upon this researching how to remove the Xbox Game Bar. This gist includes a few different methods you can try. Note you might not have some of these options depending on the version of Windows 10 you're using. And eventually I suspect we may not be able to remove the Game Bar in future builds.

Uninstalling/Removing the Game Bar

(This does not seem to be an option on any recent Windows 10 build)

1. Press Windows Key or click on the Start menu.
2. Start typing Xbox or Game Bar, until you get the Xbox Game Bar app to appear in the results.
3. Right-click on the app and pick Uninstall. Answer Yes to the prompt, and wait for the process to finish.

msrose

Combining two git repositories

Use case: You have repository A with remote location rA, and repository B (which may or may not have remote location rB). You want to do one of two things:

• preserve all commits of both repositories, but replace everything from A with the contents of B, and use rA as your remote location
• actually combine the two repositories, as if they are two branches that you want to merge, using rA as the remote location

NB: Check out git subtree/git submodule and this Stack Overflow question before going through the steps below. This gist is just a record of how I solved this problem on my own one day.

Before starting, make sure your local and remote repositories are up-to-date with all changes you need. The following steps use the general idea of changing the remote origin and renaming the local master branch of one of the repos in order to combine the two master branches.