rohmanhm

git branch -m old_branch new_branch         # Rename branch locally    
git push origin :old_branch                 # Delete the old branch    
git push --set-upstream origin new_branch   # Push the new branch, set local branch to track the new remote

rohmanhm

import { GraphQLInputObjectType, GraphQLString, GraphQLID } from 'graphql';

const Input = new GraphQLInputObjectType({
  name: 'input',
  description: 'Some input',
  fields: {
    id: {
      type: GraphQLID
    },
    name: {

rohmanhm

<?php 
$num = 10;
$column = $num/2;
for ($i = 1 ; $i <= $column ; $i++) {
	echo $i;
	echo '&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;' . ($i + $column) .'<br/>';
}
 ?>