GitHub Reviews

1. Reinhard

   | Boss at CLOUD Meister | over 3 years ago
   perfect 4 open Source

Vivaldi Reviews

GitHub mentions (2080)

• Figma Config 2024

  Another standout talk for me was from GitHub, which discussed challenges with its design system, Primer. They went into detail about how organisational changes have altered the course of its development and how they've had to adjust to the needs of the business over time to adapt and grow. As an engineering lead, I really resonated with this talk. - Source: dev.to / about 3 hours ago

• OpenSSH Race condition resulting in potential remote code execution

  I have a script that looks at your github org/team and generates/updates users on-demand then lets you connect. The script is pretty straightforward, see AuthorizedKeysCommand and https://github.com/{$user}.keys. - Source: Hacker News / about 12 hours ago

• How to Force GitHub Actions to Light Theme Using Tampermonkey

  // ==UserScript== // @name Remove data-dark-theme attributes // @namespace http://tampermonkey.net/ // @version 2024-06-23 // @description Remove data-dark-theme attributes from GitHub Actions console // @author masayoshi haruta // @match https://github.com/*/*/actions/runs/* // @icon https://www.google.com/s2/favicons?sz=64&domain=github.com // @grant none //... - Source: dev.to / 3 days ago

• How to Build and Manage a High-Performing Software Development Team?

  Clear communication and access to cloud-based collaboration tools are essential components of successful remote team management. Tools like GitHub for code repositories, Slack for communication, and Zoom for meetings ensure that our team remains cohesive and coordinated despite the physical distances. - Source: dev.to / 5 days ago

• CodeConductor.AI vs. Microsoft AutoDev: Which Will Transform Your Coding Career?

  Leveraging the robust infrastructure of Microsoft, AutoDev integrates seamlessly with tools like Azure, Visual Studio, and GitHub. - Source: dev.to / 6 days ago

Vivaldi mentions (157)

• Is there is any browser which allows us to create shortcuts on the websites or is there is any add on which allow you to create shortcut for the website?

  Thank You for clarifying it, yes I am exactly looking for keyboard shortcut, I have heard about Vivaldi browser that it is specially designed for users which prefer keyboard shortcut keys and advanced users, but I failed to use as I intended. If you have any idea or suggestion of how to do this specific thing which I am looking for, then do let me know. Thank You. Source: 7 months ago

• Why Bother with uBlock Being Blocked in Chrome? Time to Switch to Firefox

  For those who can't switch away from Chrome extensions yet I recommend trying Vivaldi Made by Opera browser Founder https://vivaldi.com. - Source: Hacker News / 7 months ago

• Links unreachable with tab key despite having href made me learn about Spatial Navigation

  What's that? A browser bug? A browser misconfiguration? Should I stop using an alternative Chromium build like Vivaldi? - Source: dev.to / 8 months ago

• Installing Chrome extension from raw source code

  While these screenshots use Google Chrome, they will also work on all 'Chromium' based web browsers, like Brave, Vivaldi, ungoogled-chromium, etc. Window's Edge is also compatible, though some the button locations are changed. - Source: dev.to / 10 months ago

• How to recreate TweeDeck with Vivaldi browser without going through the Twitter API

  Install the Vivaldi browser (it's a browser created by the co-founder of Opera browser). Source: 10 months ago