Skip to content

Instantly share code, notes, and snippets.

View akinomyoga's full-sized avatar

Koichi Murase akinomyoga

256 followers · 17 following
View GitHub Profile
@robertpainsi
robertpainsi / README.md
Last active October 25, 2025 09:05
How to reopen a pull-request after a force-push?

How to reopen a pull-request after a force-push?

Precodinitions

  • You need the rights to reopen pull requests on the repository.
  • The pull request hasn't been merged, just closed.

Instructions

  1. Write down the current commit hash of your PR-branch git log --oneline -1 <PR-BRANCH>
  2. Write down the latest commit hash on github before the PR has been closed.
  3. git push -f origin :
@uobikiemukot
uobikiemukot / drm_test.c
Last active June 15, 2025 18:16
dirty and small example of libdrm
/* please refer better example: https://github.com/dvdhrm/docs/tree/master/drm-howto/ */
#define _XOPEN_SOURCE 600
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <sys/mman.h>
#include <fcntl.h>
#include <unistd.h>
#include <xf86drm.h>