Skip to content

Here's what's popular on GitHub today...

C# logo

Popular topic

#

C#

C# ("C sharp") is an object-oriented and type-safe programming language.
30 Minutes to Merge: Accelerate shipping with GitHub Projects

Upcoming event recommended by GitHub

Aug
24

30 Minutes to Merge: Accelerate shipping with GitHub Projects

August 24, 2022 • Online

Organizations today are under pressure to do more with less. That's why productivity is such an important issue. Jed Verity will show you how to use GitHub Projects to boost productivity in your organization.
flipper

Trending repository

facebook / flipper

Star 11.8k
Open

Question: Is it possible to notify database plugin that database has been updated.

1
mgoyanes
mgoyanes commented Feb 6, 2021

Whenever we switch to the database plugin or if we click on the refresh button

connection.receive(
        DATABASE_LIST_COMMAND,
....

is called thus, the info about our database is updated in the desktop client.

Is it possible to do the other way around, that is, notify the client that it should update the UI because our database has changed, thus not requiring to press the refr

Read more
enhancement help wanted good first issue
Find more good first issues

App recommended by GitHub

repo rules

repo rules

An application to set up and enforce rules for all of your GitHub repositories:

  • enforce rules on all repositories or a sub selection using regex
  • ensure that all repositories only use squash merge and delete merged branch
  • ensure that only certain team is admin or maintainer of repositories with certain pattern
  • ensure that the default branch (or any branch) always requires GPG signatures on commit

Free for testing until 30.06.2022, afterwards there will be paid plans.

Trending developers

See more trending developers